4 results found Sort:

rohanpadhye
JQF rohanpadhye
115
696
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
852 commits to master branch, last one 11 days ago
loiclec
fuzzcheck-rs loiclec
10
441
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
930 commits to main branch, last one a day ago
mc-imperial
jfs mc-imperial
20
243
mit
16
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
39
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 about a month ago