Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/JannisKirschner/SymbolicExecutionDemystified
Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022
https://github.com/JannisKirschner/SymbolicExecutionDemystified
Last synced: 3 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 2 years ago)
- Default Branch: main
- Last Pushed: 2022-03-26T20:52:20.000Z (over 2 years ago)
- Last Synced: 2024-04-23T23:58:48.801Z (7 months ago)
- Language: Python
- Size: 14.6 MB
- Stars: 99
- Watchers: 5
- Forks: 15
- Open Issues: 0
-
Metadata Files:
- Readme: README.md