An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries.

Johannes Kinder Florian Zuleger Helmut Veith

Published in: VMCAI (2009)

Keyphrases

control flow
abstract interpretation
active rules
data flow
termination analysis
process model
model checking
source code
information systems