Control Code Obfuscation by Abstract Interpretation.

Mila Dalla Preda Roberto Giacobazzi

Published in: SEFM (2005)

Keyphrases

static analysis
abstract interpretation
source code
dynamic analysis
control flow
termination analysis
databases
distributed databases
pattern matching
active rules
reasoning engine