Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code.

Sandrine Blazy Vincent Laporte David Pichardie

Published in: ITP (2014)

Keyphrases

abstract interpretation
low level
static analysis
termination analysis
dynamic analysis
source code
high level
active rules
model checking
active databases
reasoning engine
software systems
control flow
knowledge base
database systems
management system