Static Analysis of Accessed Regions in Recursive Data Structures.
Stephen ChongRadu RuginaPublished in: SAS (2003)
Keyphrases
- static analysis
- data structure
- dynamic analysis
- source code
- malicious code
- java card
- symbolic execution
- input image
- regular expressions
- abstract interpretation
- test suite
- image features
- image regions
- data types
- databases
- integrity constraints
- test generation
- reverse engineering
- domain specific
- relational databases
- decision trees