Login / Signup
Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code.
Sandrine Blazy
Vincent Laporte
David Pichardie
Published in:
J. Autom. Reason. (2016)
Keyphrases
</>
abstract interpretation
low level
static analysis
termination analysis
dynamic analysis
source code
high level
active rules
model checking
reverse engineering
reasoning engine
regular expressions
fine grained
spatial data
active databases