cmu-pasta / mu2View external linksLinks
Mutation-guided mutation-based fuzz testing
☆51Jul 13, 2024Updated last year
Alternatives and similar repositories for mu2
Users that are interested in mu2 are comparing it to the libraries listed below
Sorting:
- ☆17Jul 11, 2025Updated 7 months ago
- ☆22Sep 28, 2022Updated 3 years ago
- ☆10Jul 9, 2020Updated 5 years ago
- ☆27Mar 16, 2023Updated 2 years ago
- ☆10Dec 13, 2021Updated 4 years ago
- A hybrid analysis framework to aid in uncovering deserialization vulnerabilities☆15Oct 13, 2024Updated last year
- A Coverage-Based fuzzing tools☆23Aug 9, 2021Updated 4 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Jan 28, 2026Updated 2 weeks ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- FuzzBuilderEx is a system to build seed corpus and fuzzing executables using the test framework automatically.☆13Sep 6, 2022Updated 3 years ago
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆722Sep 22, 2025Updated 4 months ago
- AyedFuzzer is a small File-Format-Fuzzer with 3 options (File-mutating, WinDbg-interactive monitor, multi-processing) for windows executa…☆17Dec 2, 2024Updated last year
- Semantic Crash Bucketing☆16Sep 8, 2020Updated 5 years ago
- BigMap integration on AFL++☆15Apr 5, 2021Updated 4 years ago
- ☆24Aug 24, 2025Updated 5 months ago
- ☆12Jun 14, 2023Updated 2 years ago
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆271Jan 16, 2024Updated 2 years ago
- KLEE / CSE Project☆48Apr 3, 2020Updated 5 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆75Nov 27, 2021Updated 4 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆149Jan 30, 2025Updated last year
- Simple grammar-based test case generator☆39Feb 2, 2026Updated last week
- HashCats Auto Clicker is a versatile tool that enhances your gaming experience by automating various actions within the HashCats game☆18Updated this week
- This is the project for the paper “Large-scale Security Measurements on the Android Firmware Ecosystem” in ICSE2022☆38Nov 27, 2024Updated last year
- ☆18Sep 2, 2025Updated 5 months ago
- Utilities for constructing a large dataset of LLVM IR☆25Jun 2, 2025Updated 8 months ago
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 2 years ago
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 3 years ago
- ☆39Sep 27, 2022Updated 3 years ago
- ☆19Apr 7, 2023Updated 2 years ago
- A collection of JavaScript test suites from JavaScript engine & Test262 repositories.☆21Sep 23, 2020Updated 5 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆26Mar 15, 2020Updated 5 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 3 months ago
- Fuzzing with the generated argument and environment variable☆10Jul 14, 2022Updated 3 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- Python GUI for seeing what's happening inside a fuzzer☆26Oct 1, 2021Updated 4 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆22May 31, 2023Updated 2 years ago
- Optimizing Directed Fuzzing via Target-tailored Program State Restriction☆31May 16, 2023Updated 2 years ago
- ☆27Nov 30, 2018Updated 7 years ago