All of this information could be read in by a script and then used within Coccinelle to set up new invocations of Coccinelle for each set of arguments, as illustrated in iteration.cocci.
Are the application programming interfaces between Objective Caml and the currently supported scripting languages (Python) completely documented?
The position variable unambiguously identifies what code is matched, so you can put there whatever you want.
The semantic patch language can extract potential update candidates from the analysed source file. I'm still unsure if each of the provided positions can be directly connected with source code adjustments in a general way by the means of SmPL alone.
Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
