loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007)
Automated Security Debugging Using Program Structural Constraints
Miami Beach, Florida, USA
December 10-December 14
ISBN: 0-7695-3060-5
Understanding security bugs in a vulnerable program is a non-trivial task, even if the target program is known to be vulnerable. Though there exist debugging tools that fa- cilitate the vulnerability analysis and debugging process, human developers still need to manually trace the pro- gram execution most of the times. This makes security debugging a difficult and tiresome task even for experi- enced programmers. In this paper, we present the devel- opment of a novel security debugging tool called CBones (SeeBones, where bones is an analogy of program struc- tures). CBones is intended to fully automate the analysis of a class of security vulnerabilities in C programs, the ex- ploits of which would compromise the integrity of program structures satisfied by all legitimate binaries compiled from C source code. In other words, CBones automatically dis- covers how unknown vulnerabilities in C programs are ex- ploited based on program structural constraints. Unlike the previous approaches, CBones can automatically identify ex- ploit points of unknown security bugs without requiring a training phase, source code access (analysis or instrumen- tation), or additional hardware supports. To validate the effectiveness of this approach, we evaluate CBones with 12 real-world applications that contain a wide range of vul- nerabilities. Our results show that CBones can discover all security bugs with no false alarms, pinpoint the corrupting instructions, and provide information to facilitate the un- derstanding of how an attack exploits a security bug.
Citation:
Chongkyung Kil, Emre Can Sezer, Peng Ning, Xiaolan Zhang, "Automated Security Debugging Using Program Structural Constraints," acsac, pp.453-462, Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.