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: 2 months 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 (over 7 years ago)
• Default Branch: master
• Last Pushed: 2021-12-28T23:56:31.000Z (over 2 years ago)
• Last Synced: 2024-01-25T02:28:34.756Z (5 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

Lists

• awesome-hacking-lists - symbolic-execution - History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking) (Others (1002))
• awesome-software-quality - History of symbolic execution
• awesome-hacking-lists - symbolic-execution - History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking) (Others)
• awesome-hacking-lists - enzet/symbolic-execution - History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking) (Kotlin)