Semantic-Based Code Obfuscation by Abstract Interpretation.

Mila Dalla Preda Roberto Giacobazzi

Published in: ICALP (2005)

Keyphrases

static analysis
abstract interpretation
source code
dynamic analysis
regular expressions
reverse engineering
test suite
termination analysis
database
databases
high level
object oriented
model checking