On Thu, 9 Jan 2020, Markus Elfring wrote:
> >> 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?
I already clarified it. The python code will only be executed if the
variables that it references have values. The criterion is not just
whether the rule r was matched.
To see that this is the case, all or you have to do is try it. Or read
the Coccinelle source code.
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
