Skip to content

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

Notifications You must be signed in to change notification settings

JannisKirschner/SymbolicExecutionDemystified

Repository files navigation

Symbolic Execution Demystified

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

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

About

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

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages