Messages in this thread | | | From | "Peter T. Breuer" <> | Subject | .o.cmd files wanted, static analysis | Date | Fri, 16 Sep 2005 01:50:29 +0200 (MET DST) |
| |
(was sent to Linux Testing Project list, but no answer there yet).
G'day all
I'm looking for a set of .*.o.cmd files for the 2.6 kernel. These are generated when you compile the kernel. I have about 1600 of them from my standard compilation choices, but I want the full 6000 odd so that I can run static analysis tests.
See ftp://oboe.it.uc3m.es/pub/Programs/c-1.2.*.tgz
The currently enabled tests are for sleep under spinlock, double spinlock, and access to kfree'd memory. I'll add more according to suggestions received. About 3 errors in each class are detected for every 1000 kernel source files, with about three times that many false alarms raised. It takes a few seconds per file, at about 10000 expanded lines of code per second.
Does somebody out there have a pretty complete kernel compilation, mainly all modules (though I don't care!), and could let me have their .*.o.cmd files? In fact, just the FIRST LINE of them. That first line gives me the compile flags used.
Thanks.
Peter
- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |