Automatic detection of printf format string vulnerabilities in software applications using static analysis.
Radha VedalaSimhadri Anil KumarPublished in: CUBE (2012)
Keyphrases
- automatic detection
- static analysis
- regular expressions
- source code
- dynamic analysis
- automatically detecting
- symbolic execution
- malicious code
- test generation
- pattern matching
- test suite
- java card
- metadata
- databases
- chest ct
- high level
- case study
- matching algorithm
- structured data
- software systems
- software engineering
- decision trees
- abstract interpretation
- knowledge base