Automatic Testing of Program Security Vulnerabilities
Detecting Format String Vulnerabilities with Type Qualifiers