Linear Obfuscation to Combat Symbolic Execution.

Zhi Wang Jiang Ming Chunfu Jia Debin Gao

Published in: ESORICS (2011)

Keyphrases

symbolic execution
static analysis
source code
test data generation
test generation
specification language
reverse engineering
business rules
database
genetic algorithm
high level
query evaluation