Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/enzet/symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
https://github.com/enzet/symbolic-execution
concolic concolic-execution dynamic-analysis dynamic-symbolic-execution history program-analysis solving symbolic-execution timeline
Last synced: 19 days ago
JSON representation
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
- Host: GitHub
- URL: https://github.com/enzet/symbolic-execution
- Owner: enzet
- License: cc-by-sa-4.0
- Created: 2017-03-10T22:47:17.000Z (almost 8 years ago)
- Default Branch: master
- Last Pushed: 2021-12-28T23:56:31.000Z (almost 3 years ago)
- Last Synced: 2024-01-25T02:28:34.756Z (11 months ago)
- Topics: concolic, concolic-execution, dynamic-analysis, dynamic-symbolic-execution, history, program-analysis, solving, symbolic-execution, timeline
- Language: Kotlin
- Homepage:
- Size: 14.9 MB
- Stars: 474
- Watchers: 37
- Forks: 60
- Open Issues: 22
Awesome Lists containing this project
- awesome-hacking-lists - enzet/symbolic-execution - History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking) (Kotlin)