3 results found Sort:
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Created
2017-07-18
25 commits to master branch, last one 3 months ago
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Created
2017-03-10
135 commits to master branch, last one 2 years ago
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
Created
2021-10-11
522 commits to master branch, last one 9 days ago