FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers.

Haoxin Tu Lingxiao Jiang Xuhua Ding He Jiang

Published in: ESEC/SIGSOFT FSE (2022)

Keyphrases

symbolic execution
test generation
test data generation
type checking
neural network
static analysis
relational databases
source code
genetic algorithm
database systems
objective function
multi agent systems
open source
orders of magnitude
specification language