A static analysis for extracting runtime views from annotated object-oriented code.
Marwan Abi-AntounJonathan AldrichPublished in: OOPSLA Companion (2006)
Keyphrases
- static analysis
- object oriented
- malicious code
- source code
- dynamic analysis
- symbolic execution
- relational databases
- multiple views
- reverse engineering
- programming language
- java card
- object oriented databases
- test generation
- abstract interpretation
- regular expressions
- database
- database applications
- query language
- data model
- object oriented systems
- databases
- object oriented programming
- data sets
- database design
- pattern matching
- data warehousing
- data integration
- test suite
- software engineering
- query processing