3 results found Sort:

56
490
cc-by-sa-4.0
37
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Created 2017-03-10
141 commits to master branch, last one 6 months ago
32
138
apache-2.0
9
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
Created 2021-10-11
560 commits to master branch, last one 5 days ago
This repository has no description...
Created 2020-09-23
148 commits to master branch, last one 6 days ago