Native x86 Decompilation Using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring.
David BrumleyJongHyup LeeEdward J. SchwartzMaverick WooPublished in: USENIX Security Symposium (2013)
Keyphrases
- control flow
- structural analysis
- data flow
- software testing
- business process models
- three dimensional
- formal semantics
- image processing
- civil engineering
- transition systems
- reactive systems
- process model
- reinforced concrete
- workflow management systems
- databases
- modeling language
- xml documents
- memory hierarchy
- e learning
- information systems