Using static symbolic execution to detect buffer overflows.

I. A. Dudina A. A. Belevantsev

Published in: Program. Comput. Softw. (2017)

Keyphrases

symbolic execution
static analysis
buffer overflow
source code
test data generation
test generation
specification language
database
data sets
databases
neural network
artificial intelligence
search algorithm
relational databases
open source