2 results found Sort:

enzet
symbolic-execution enzet
56
477
cc-by-sa-4.0
38
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
history solving concolic timeline dynamic-analysis program-analysis concolic-execution symbolic-execution dynamic-symbolic-execution
Created 2017-03-10
135 commits to master branch, last one 2 years ago
ispras
oss-sydr-fuzz ispras
31
109
apache-2.0
9
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
dse sydr fuzzing concolic oss-fuzz security symbolic libfuzzer stability sydr-fuzz fuzz-testing hybrid-fuzzing vulnerabilities concolic-execution symbolic-execution dynamic-symbolic-execution
Created 2021-10-11
522 commits to master branch, last one 9 days ago