Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities.
George ChatzieleftheriouPanagiotis KatsarosPublished in: COMPSAC Workshops (2011)
Keyphrases
- static analysis
- test generation
- dynamic analysis
- malicious code
- source code
- test suite
- symbolic execution
- test data generation
- java card
- search algorithm
- test cases
- regular expressions
- unit testing
- test case generation
- reverse engineering
- abstract interpretation
- software testing
- building blocks
- open source
- search space
- information security
- intrusion detection
- data management
- programming language
- domain knowledge