About Vulncheck
Vulncheck is a compiler extension for detecting vulnerabilities using static source code analysis. It is available as a patch for the GCC compiler. You can read the paper describing the algorithm behind it, or download the source code.
Latest release
Version 0.1 was released on Sep 23, 2007. This is the first public release of Vulncheck. Its functionality is equivalent to the version described in the 2005 paper, but the patch has been ported to GCC 4.2.1.
