2 results found Sort:

enzet
symbolic-execution enzet
56
486
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
141 commits to master branch, last one 2 months ago
ispras
oss-sydr-fuzz ispras
32
132
apache-2.0
10
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
545 commits to master branch, last one 2 days ago