Compiler/source code fuzzing tool using AFL instrumentation
☆126Jun 28, 2018Updated 7 years ago
Alternatives and similar repositories for prog-fuzz
Users that are interested in prog-fuzz are comparing it to the libraries listed below
Sorting:
- Variation of american fuzzy lop for testing compilers☆126Apr 21, 2022Updated 3 years ago
- Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.☆141Aug 18, 2022Updated 3 years ago
- Seeding fuzzers with symbolic execution☆203Oct 20, 2017Updated 8 years ago
- ☆132Oct 10, 2019Updated 6 years ago
- ☆252Mar 13, 2020Updated 5 years ago
- Smart Greybox Fuzzing (https://thuanpv.github.io/publications/TSE19_aflsmart.pdf)☆520Jan 18, 2022Updated 4 years ago
- A monitoring script for AFL☆41Feb 8, 2017Updated 9 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆75Nov 27, 2021Updated 4 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆156Oct 4, 2021Updated 4 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆189May 21, 2021Updated 4 years ago
- Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic e…☆954Jul 18, 2022Updated 3 years ago
- AFLFast (extends AFL with Power Schedules)☆422Jun 16, 2023Updated 2 years ago
- INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators☆74May 24, 2019Updated 6 years ago
- Recover mutation graph from an AFL seed☆60Jan 6, 2021Updated 5 years ago
- ☆174Jun 24, 2022Updated 3 years ago
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆20May 13, 2018Updated 7 years ago
- ☆386Oct 28, 2019Updated 6 years ago
- AFL + DynamoRIO = fuzzing binaries with no source code on Linux☆247Oct 1, 2019Updated 6 years ago
- Testing Intermediate Representations for Binary Analysis (ASE '17)☆82Dec 5, 2018Updated 7 years ago
- ☆95Apr 2, 2019Updated 6 years ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆152Jan 25, 2021Updated 5 years ago
- ☆12Jun 8, 2021Updated 4 years ago
- ☆82Aug 20, 2025Updated 6 months ago
- a grammar based feedback fuzzer☆166Jul 1, 2023Updated 2 years ago
- FairFuzz: AFL extension targeting rare branches☆253Feb 19, 2019Updated 7 years ago
- A fast, parallel test case minimization tool.☆978Dec 24, 2020Updated 5 years ago
- ☆125Mar 15, 2021Updated 4 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆63Oct 19, 2017Updated 8 years ago
- Utilities for automated crash sample processing/analysis, easy afl-fuzz job management and corpus optimization☆419Jun 6, 2018Updated 7 years ago
- The new phuzzing framework!☆164Jun 14, 2024Updated last year
- Regexp based tool for mutating generic source code across numerous languages☆153Jan 28, 2026Updated last month
- Improving AFL by using Intel PT to collect branch information☆292Jul 26, 2019Updated 6 years ago
- Simple grammar-based test case generator☆40Feb 23, 2026Updated last week
- ☆401Sep 23, 2021Updated 4 years ago
- ☆64Oct 24, 2015Updated 10 years ago
- Manul is a coverage-guided parallel fuzzer for open-source and blackbox binaries on Windows, Linux and MacOS☆335Jul 14, 2020Updated 5 years ago
- AFL/QEMU fuzzing with full-system emulation.☆640Sep 9, 2018Updated 7 years ago
- libfuzzerfication - fuzzing for the rest of us!☆61Jan 9, 2017Updated 9 years ago
- Python GUI for seeing what's happening inside a fuzzer☆26Oct 1, 2021Updated 4 years ago