Papers
The design of Vulncheck is described in the paper Automatic Vulnerability Detection Using Static Source Code Analysis by Alexander Sotirov, published in 2005.
The paper has been cited in the following works:
- Static Detection of Exploitable Vulnerabilities in Input Dependencies by Robin Van Schendel
- Static Techniques for Vulnerability Detection by Kamran Zafar and Asad Ali