Securing web application code by static analysis and runtime protection
Detecting Format String Vulnerabilities with Type Qualifiers