Symbolic execution with SymCC: Don't interpret, compile!

Sebastian Poeplau Aurélien Francillon

Published in: USENIX Security Symposium (2020)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
specification language
source code
data flow
test cases
data sets
orders of magnitude
software testing
genetic algorithm
domain independent
description language