Generic control flow reconstruction from assembly code.
Daniel KästnerStephan WilhelmPublished in: LCTES-SCOPES (2002)
Keyphrases
- control flow
- data flow
- process model
- software testing
- reactive systems
- workflow management systems
- business process models
- three dimensional
- formal semantics
- high resolution
- data sets
- memory hierarchy
- machine learning
- databases
- database
- image reconstruction
- object oriented
- cooperative
- high level
- decision making
- real world