One million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code (RST 2006)
