https://github.com/janniskirschner/symbolicexecutiondemystified

Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022
https://github.com/janniskirschner/symbolicexecutiondemystified

Last synced: 6 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/janniskirschner/symbolicexecutiondemystified
• Owner: JannisKirschner
• Created: 2022-03-21T15:31:37.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2022-03-26T20:52:20.000Z (over 3 years ago)
• Last Synced: 2025-03-26T16:48:09.206Z (6 months ago)
• Language: Python
• Size: 14.6 MB
• Stars: 100
• Watchers: 4
• Forks: 15
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Symbolic Execution Demystified

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

- 00: z3 Example

- 01: Coverage Guide

- 02: Demo