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

Ignacio Tiraboschi Tamara Rezk Xavier Rival

Published in: CoRR (2023)

Keyphrases

symbolic execution
static analysis
abstract interpretation
dynamic analysis
source code
test generation
access control
termination analysis
regular expressions
test data generation
test suite
specification language
information systems
business process
orders of magnitude
fine grained
training data