Symbolic Execution of Obfuscated Code.

Babak Yadegari Saumya Debray

Published in: CCS (2015)

Keyphrases

symbolic execution
static analysis
source code
malicious code
test generation
test data generation
specification language
data flow
open source
neural network
reverse engineering
high level
test cases
software projects
simulated annealing algorithm