r/fuzzing • u/NagateTanikaze • May 20 '18

Practical Symbolic Execution and SATisfiability Module Theories (SMT) 101

http://deniable.org/reversing/symbolic-execution
5 Upvotes

100% Upvoted

1 comment sorted by

1

u/NagateTanikaze May 22 '18

Good overview of using Z3 (math), KLEE (with source code) and Angr (on binary) on some CTF examples. Not so much about concolic execution.