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 ...