Highlights
- Pro
Lists (8)
Sort Name ascending (A-Z)
Automata-Inference
Benchmark
Fuzz
Network Protocol Fuzz
SoTA Protocol FuzzSymbolic/Taint Analysis
Awesome Smybolic / Taint AnalysisTools
awesomd environment settingsVisualizer
Windows Related
Stars
EcoFuzz-An adaptive energy-saving greybox fuzzer
A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).
Artifacts of TOSEM'23 submission: *DiPri: Distance-based Seed Prioritization for Greybox Fuzzing*
Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"
ChatDBG - AI-assisted debugging. Uses AI to answer 'why'
a friendly implementation of nyx ontop of firecracker instead of QEMU. Easier to use & cleaner code
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
A greener fuzzer benchmarking platform
"Screwed Drivers" centralized information source for code references, links, etc.
Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
FuzzBench - Fuzzer benchmarking as a service.
Active automata-based learning of the Moore machine underlying Neovim
AFL-Cast is a coverage conversion tool which can be used to convert coverage information contained in an AFL bitmap file into an easily visualizable and interpretative format.