Material for an introductory presentation for symbolic execution.
git clone https://git.8pit.net/symex-intro.git
https://git.8pit.net/symex-intro.git
1*.bc 2*.ll 3klee-*
1*.bc
2*.ll
3klee-*