One million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code (RST 2006)
1 Shake-and-Bake MT Chris Brew, The Ohio State University .