Back to Search Start Over

CHAPTER 3: Detecting Buffer Overruns Using Static Analysis: 3.2 CONSTRAINT RESOLUTION USING LINEAR PROGRAMMING.

Authors :
Datta, Anupam
Jha, Somesh
Li, Ninghui
Melski, David
Reps, Thomas
Source :
Analysis Techniques for Information Security; 2010, p42-46, 5p
Publication Year :
2010

Details

Language :
English
ISBNs :
9781598296303
Database :
Complementary Index
Journal :
Analysis Techniques for Information Security
Publication Type :
Book
Accession number :
99259829

Tools

Authors Abstract Subjects Details