https://github.com/rohanpadhye/jqf

JQF + Zest: Coverage-guided semantic fuzzing for Java.

afl coverage-guided-fuzzing fuzzing junit property-based-testing quickcheck

Last synced: 31 Mar 2025

https://github.com/rohanpadhye/JQF

JQF + Zest: Coverage-guided semantic fuzzing for Java.

afl coverage-guided-fuzzing fuzzing junit property-based-testing quickcheck

Last synced: 13 Mar 2025

https://github.com/loiclec/fuzzcheck-rs

Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions

coverage-guided-fuzzing fuzzer fuzzing grammar-fuzzer property-based-testing rust testing

Last synced: 02 Apr 2025

https://github.com/mc-imperial/jfs

Constraint solver based on coverage-guided fuzzing

constraint-solver coverage-guided-fuzzing floating-point-arithmetic fuzzing jit libfuzzer llvm smtlib smtlibv2 z3

Last synced: 21 Apr 2025

https://github.com/ispras/crusher

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

Last synced: 19 Dec 2024

https://github.com/frewsxcv/ruby-coverage-guided-fuzzer

PoC fuzzer written in Ruby for Ruby powered by Ruby’s built-in coverage library.

coverage-guided-fuzzing fuzz-testing fuzzing ruby

Last synced: 06 Apr 2025

https://github.com/marcellomaugeri/hardening-7-fuzzing

Material of the Hardening 7 talk: "Fuzzing: l'arte di scoprire vulnerabilità in maniera automatizzata"

coverage-guided-fuzzing cve-2021-3156 fuzzing fuzzing-cve-2021-3156 poc-cve-2021-3156 talk

Last synced: 06 Apr 2025

https://github.com/marcellomaugeri/forkfuzz

Official repository for the paper Forkfuzz: Leveraging the Fork-Awareness in Coverage-Guided Fuzzing.

coverage-guided-fuzzing fuzzing fuzzing-framework multiprocess multiprocessing

Last synced: 06 Apr 2025