Hello, The semantic patch language supports also to put longer code into SmPL rules. It might look convenient and appropriate to specify such code for a single SmPL rule. But it can happen also that you would like to reduce source code search efforts and present meaningful analysis reports.
Example: It can be specified that a specific function call should be found as a precondition. A corresponding hit can be additionally indicated in a variable for an embedded programming language (like OCaml or Python) in a subsequent script rule so that this variable can influence a message construction in a final rule. How are the chances to restart (or continue) the code search after found places (without repeating SmPL code from the precondition)? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci