Search Results - RepositoryStats

56

488

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

32

135

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

552 commits to master branch, last one 3 days ago

15

40

mit

8

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

147 commits to master branch, last one about a month ago