Semantics-based code obfuscation by abstract interpretation.

Mila Dalla Preda Roberto Giacobazzi

Published in: J. Comput. Secur. (2009)

Keyphrases

static analysis
abstract interpretation
source code
dynamic analysis
regular expressions
open source
termination analysis