Detecting C++ Lifetime Errors with Symbolic Execution.

Réka Kovács Gábor Horváth Zoltán Porkoláb

Published in: BCI (2019)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
source code
data flow
specification language
real world
test cases
neural network
search space
programming language
open source