Static Analysis of File-Processing Programs using File Format Specifications.
M. Raveendra KumarRaghavan KomondoorS. NarendranPublished in: CoRR (2015)
Keyphrases
- file formats
- static analysis
- symbolic execution
- dynamic analysis
- source code
- abstract interpretation
- specification language
- malicious code
- test suite
- interchange format
- api calls
- java card
- test generation
- control flow
- description language
- reverse engineering
- data management
- software engineering
- training data
- high level
- web services