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
Symbolic Debugging
¶
TODO
previous
Symbolic Fuzzing
next
Future Perspectives
