Using the iteration functionality, you can start up as many applications
of the semantic patch as you like, parameterized by as many values of
virtual identifiers as you like.

I agree that the evaluation of a filter pattern template is an alternative design option for the desired source code analysis when each function name will be passed as a single parameter from an external loop. I assume that this approach would be less efficient than the other variant where the list of functions (with a non-void return type) should be checked for their failure predicates at one place.

Would anybody (besides me) be interested to look at differences in the corresponding execution speed and the performance characteristics for a wide selection?

I have got another potentially useful idea for this context.
Is it possible to assign a long regular expression to a SmPL meta-variable which would be constructed by your supported programming language(s)?

Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to