Hi Julia, thanks for your fast answer! :-)
On Thu, Sep 8, 2011 at 3:27 PM, Julia Lawall <[email protected]> wrote: > 1. The problem is that the scripts in the linux kernel are highly > configurable. They can give output in different forms, as controlled by > various command line arguments. So they should be used via the kernel > make system, which adds the proper arguments. You can look at the > virtual declarations at the top of the file to see what the possible > arguments are. For example, for some of the rules, you can add the > command line argument -D patch, to get a patch with the bug fixed. > Other options are -D report (a bug report in text form), -D org (a bug > report in emacs org mode notation), and -D context (a diff, in which the > - lines indicate code relevant to the bug). Thanks for the explanation. I gave it a try with e.g., -D patch and spatch performed the check. > 2. Strange about the compilation problem. Try make depend. This worked fine. I did: make depend make all make install And spatch was good to go on my Debian box, thanks. Maybe this is a little offtopic, but is there a public archive of Coccinelle scripts suitable for userspace C programs (similar to the kernel archive)? Thanks, Daniel _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
