SymQEMU: Compilation-based symbolic execution for binaries.

Sebastian Poeplau Aurélien Francillon

Published in: NDSS (2021)

Keyphrases

symbolic execution
source code
static analysis
open source
software systems
test data generation
test generation
specification language
software projects
high level
software engineering
reverse engineering
data flow
database
neural network