Code obfuscation against symbolic execution attacks.

Sebastian Banescu Christian S. Collberg Vijay Ganesh Zack Newsham Alexander Pretschner

Published in: ACSAC (2016)

Keyphrases

symbolic execution
static analysis
source code
dynamic analysis
test generation
test data generation
specification language
regular expressions
software systems
data flow
control flow
database
artificial intelligence
building blocks
genetic programming
multi objective
anti virus