In September this fall, I gave a lightning talk at SEC-T 2018. My talk was titled “Fun with Symbolic Execution” where I described the basics of symbolic execution and gave examples on how it can be used in exploitation and reverse engineering. The recorded talk is available on YouTube and you can download the slides here. In the talk I show some code examples which you also can download as a zip.