Browsing CS Technical Reports by Author "Chandler, David"
Now showing items 1-1 of 1
-
Buffer Overrun Detection Using Linear Programming and Static Analysis
Ganapathy, Vinod; Jha, Somesh; Chandler, David; Melski, David; Vitek, David (University of Wisconsin-Madison Department of Computer Sciences, 2003)This paper addresses the issue of identifiing buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a scalable analysis based on modeling C string manipulations as a linear program. We also ...