Search Results - RepositoryStats

56

490

cc-by-sa-4.0

37

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 6 months ago

32

138

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

560 commits to master branch, last one 6 days ago

15

40

mit

7

This repository has no description...

dse fuzzing concolic symbolic bug-detection hybrid-fuzzing binary-analysis static-analysis concolic-execution symbolic-execution coverage-guided-fuzzing dynamic-symbolic-execution

Created 2020-09-23

148 commits to master branch, last one 6 days ago