JannisKirschner / SymbolicExecutionDemystified

Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022

Symbolic Execution Demystified

Slides and Material for "Symbolic Execution Demystified" Presentation @ Insomni'Hack 2022

• 00: z3 Example
• 01: Coverage Guide
• 02: Demo