>> Does the Coccinelle software ensure that a variable like “r.ul” contains >> really useful data even if the expected branch of the SmPL disjunction >> was occasionally not matched? > > The python code will only be executed if it does.
The Python scripts will be executed if the SmPL rule “r” found something. I suggest to take a closer look at the involved data types for really safe case distinctions. Does the dependency management around the application of SmPL disjunctions need any further clarification? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
