Sound Symbolic Execution via Abstract Interpretation and Its Application to Security.

Ignacio Tiraboschi Tamara Rezk Xavier Rival

Published in: VMCAI (2023)

Keyphrases

symbolic execution
static analysis
abstract interpretation
dynamic analysis
source code
test generation
test suite
access control
regular expressions
test data generation
orders of magnitude
termination analysis
database
model checking
specification language