Detecting integer overflow in Windows binary executables based on symbolic execution.

Bin Zhang Chao Feng Bo Wu Chaojing Tang

Published in: SNPD (2016)

Keyphrases

symbolic execution
static analysis
source code
test data generation
test generation
specification language
open source
data flow
software systems
software projects
databases
relational databases
evolutionary algorithm