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
mboehme / pythia
Forked from innovimax/afl-1Pythia (extends AFL with Predictions)
niMgnoeSeeL / SBFT25-tutorial
Forked from uds-se/fuzzingbooka hands-on exercise used in The 18th Intl. Workshop on Search-Based and Fuzz Testing (SBFT'25) tutorial: "Magic of Statistics for Software Testing: How to Foresee the Unseen"
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.
AFLplusplus / afl-cov
Forked from mrash/afl-covProduce code coverage results with gcov from afl-fuzz test cases
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