Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022 - View it on GitHub