Updated static analysis research on the Linux kernel.
Six researchers (including Julia Lawall of the Coccinelle project) have just released a paper … that looks at the faults in the 2.6 kernel.
To allow updating these results as Linux evolves, we define our experimental protocol and make our checkers available.
To ensure the perenity and reproducibility of our work, our tools and results are available in the appendices 4 of a research report [Palix et al. 2010c] hosted in an open archival repository.
Imported from Google+ — content and formatting may not be reliable