Symbolic/Concolic Execution and SMT Solvers
This brown-bag meeting will cover:
- What symbolic and concolic execution are
- Tools for symbolic/concolic execution
- How they can be used in conjunction with SMT solvers
- pyexz3 https://github.com/thomasjball/PyExZ3 - Small example, but uses both
Edited by James Johnson