>> I hope that another clarification can be achieved also for the software >> behaviour of the following source code analysis approach. > > I don't run code that involves databases.
I find the handling of higher level data storage relevant and useful also for such a software test. > If you believe that there is a problem with the semantic patch, > you have to make a small version that illustrates the problem. My SmPL script example seems to work as expected (in principle) if I omit the else branch from the SmPL rules “find1” and “check1”. Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci