Employing Run-time Static Analysis to Improve Concolic Execution.

Maarten Vandercammen Coen De Roover

Published in: BENEVOL (2017)

Keyphrases

static analysis
symbolic execution
dynamic analysis
source code
data sets
real world
test suite
java card
decision trees
reverse engineering
malicious code