This statement suggests that you have never actually used Coccinelle, if you don't know what it outputs.
I suggest that we should precisely distinguish between the following terms here. A) Input * semantic patch - filtering/data extraction or transformation instructions * source file in the C programming language B) Output * "patch" / "diff" or * eventually changed (patched?) source file in the C programming language The document "Coccinelle Usage (version 0.2.3)" contains the following informations. http://coccinelle.lip6.fr/options.pdf "... 5 Generation of the result Normally, the only output is a diff printed to standard output. ... -o <file> The output file. ..." I do not see so far that specific output formats are mentioned. Another document contains the following example. https://github.com/coccinelle/coccinelle/blob/174d164065f16d4a54fd565b9cae251e89a5095e/readme.txt#L21 "... $ spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c ..." Does this documentation need any clarification? Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
