4 results found Sort:

rohanpadhye
JQF rohanpadhye
114
669
bsd-2-clause
19
JQF + Zest: Coverage-guided semantic fuzzing for Java.
afl junit fuzzing quickcheck property-based-testing coverage-guided-fuzzing
Created 2017-02-23
842 commits to master branch, last one 3 months ago
loiclec
fuzzcheck-rs loiclec
13
439
mit
8
Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions
rust fuzzer fuzzing testing grammar-fuzzer property-based-testing coverage-guided-fuzzing
Created 2019-08-16
925 commits to main branch, last one 2 months ago
mc-imperial
jfs mc-imperial
20
240
mit
17
Constraint solver based on coverage-guided fuzzing
z3 jit llvm smtlib fuzzing smtlibv2 libfuzzer constraint-solver coverage-guided-fuzzing floating-point-arithmetic
Created 2017-11-21
513 commits to master branch, last one about a year ago
ispras
crusher ispras
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