Skip to main content
Article thumbnail
Location of Repository

Buffer Overrun Detection using Linear Programming and Static Analysis

By Vinod Ganapathy

Abstract

ABSTRACT This paper addresses the issue of identifying buffer overrun vul-nerabilities by statically analyzing C source code. We demonstrat

Topics: Categories and Subject Descriptors D.3.3 [Language Constructs and Features, Constraints, G.1.6[Optimization, Linear Programming, D.2.5 [Software Engineering, Testing and Debugging General Terms Algorithms, Languages, Reliability, Security Keywords Buffer overruns, static analysis, linear programming
Publisher: ACM Press
Year: 2003
OAI identifier: oai:CiteSeerX.psu:10.1.1.134.3699
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.cs.wisc.edu/~jha/jh... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.