Symbolic Execution: Foundations, Techniques, Applications and Future Perspectives
Introduction
Parser and Interpreter for minipy
Foundations
Constraint Solving
Syntax and Semantics of Symbolic States
A Symbolic Interpreter and Correctness of Symbolic Transitions
Correctness of Symbolic Transitions
Techniques
Transparent Symbolic Execution of Function Calls
Loops in Static Symbolic Execution
Compositional Symbolic Execution
Concolic Execution
Tackling State Explosion
Selective Symbolic Execution
Applications
Program Proving
Symbolic Fuzzing
Symbolic Debugging
Future Perspectives
Conclusion
.ipynb
.pdf
repository
open issue
Applications
¶
TODO
previous
Selective Symbolic Execution
next
Program Proving
