Buffer overrun detection using linear programming and static analysis.
Vinod GanapathySomesh JhaDavid ChandlerDavid MelskiDavid VitekPublished in: CCS (2003)
Keyphrases
- static analysis
- linear programming
- dynamic analysis
- source code
- linear program
- malicious code
- symbolic execution
- regular expressions
- dynamic programming
- object detection
- detection method
- abstract interpretation
- np hard
- false positives
- anomaly detection
- test generation
- java card
- objective function
- decision trees
- database
- pattern matching
- detection algorithm
- domain knowledge
- data sets