* [Cocci] Splitting a source code search specification from a SmPL rule into more rules?
@ 2019-03-06 9:40 Markus Elfring
0 siblings, 0 replies; only message in thread
From: Markus Elfring @ 2019-03-06 9:40 UTC (permalink / raw)
To: Coccinelle
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2019-03-06 9:41 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-03-06 9:40 [Cocci] Splitting a source code search specification from a SmPL rule into more rules? Markus Elfring
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.