Data lifetime is a systems problem
Detecting Format String Vulnerabilities with Type Qualifiers