Symbolic execution for security researchers Slides and resources for the talk "Symbolic execution for security researchers" I gave during EuskalHack Security Congress VI (2023).