Detecting Format String Vulnerabilities with Type Qualifiers (2001)

by Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, David Wagner