One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code.

Peter T. Breuer Simon Pickin One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code. 56-70 2006 conf/adaEurope/2006 Ada-Europe http://dx.doi.org/10.1007/11767077_5 db/conf/adaEurope/adaEurope2006.html#BreuerP06