concolic topic
List
concolic repositories
symbolic-execution
478
Stars
56
Forks
Watchers
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
oss-sydr-fuzz
106
Stars
31
Forks
Watchers
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
sydr-benchmark
15
Stars
5
Forks
Watchers
Sydr benchmark applications