SMT-constrained symbolic execution engine for integer overflow detection in C code.

Paul Muntean Mustafizur Rahman Andreas Ibing Claudia Eckert

Published in: ISSA (2015)

Keyphrases

symbolic execution
source code
static analysis
specification language
test generation
test data generation
case study
software systems
general purpose
software development
data flow