NixuCon 2018: SMT solvers for analysis and exploitation

In September this fall, I gave a presentation at NixuCon 2018. My talk was titled “Using SMT solvers for binary analysis and exploitation” where I described the basics of symbolic execution and gave examples on how it can be used in exploitation and reverse engineering. I have yet to find the recording of the talk but you can download the slides here. Essentially, the talk was a combination of my SEC-T 2016 and 2018 talks with some extra introduction. In the talk I show some code examples which you also can download as a zip.