tum-i4 / munchView external linksLinks
Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
☆38Feb 22, 2019Updated 6 years ago
Alternatives and similar repositories for munch
Users that are interested in munch are comparing it to the libraries listed below
Sorting:
- CRETE under development☆60Jun 30, 2020Updated 5 years ago
- Repository for understanding and writing LLVM passes.☆34Jul 29, 2019Updated 6 years ago
- ☆16Mar 23, 2018Updated 7 years ago
- Modular And Compositional analysis with KLEE Engine☆118Dec 17, 2019Updated 6 years ago
- Concolic Execution Fuzzer☆24Sep 22, 2021Updated 4 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Sep 28, 2018Updated 7 years ago
- Fuzzing with controlled compilation☆31Apr 7, 2023Updated 2 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 4 years ago
- ACSAC 2018 paper: Towards Automated Generation of Exploitation Primitives for Web Browsers☆15Nov 28, 2018Updated 7 years ago
- ☆18Aug 7, 2020Updated 5 years ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆35Nov 22, 2023Updated 2 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- ☆16Dec 22, 2019Updated 6 years ago
- S2E plugins library☆17Jan 7, 2020Updated 6 years ago
- ☆12Jun 20, 2022Updated 3 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Mar 3, 2024Updated last year
- ☆21Feb 15, 2022Updated 3 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆156Oct 4, 2021Updated 4 years ago
- Cupid: Automatic Fuzzer Selection for Collaborative Fuzzing☆33Mar 25, 2021Updated 4 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆34Jun 6, 2021Updated 4 years ago
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆83Jun 21, 2020Updated 5 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆335Feb 2, 2026Updated last week
- source code for savior fuzzer☆127Oct 1, 2020Updated 5 years ago
- ☆26Oct 3, 2023Updated 2 years ago
- Fuzzing JavaScript WebAssembly APIs using Dharma/Domato (Chrome/v8, etc.)☆43Feb 8, 2022Updated 4 years ago
- ☆53Nov 26, 2017Updated 8 years ago
- experiments for IJON☆12Jul 1, 2019Updated 6 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- A monitoring script for AFL☆41Feb 8, 2017Updated 9 years ago
- Minemu is a minimal emulator for dynamic taint analysis ( this is a mirror of https://minemu.org/code/minemu.git )☆42Jul 17, 2020Updated 5 years ago
- First level taint implementation with qemu for linux user mode☆28Aug 11, 2020Updated 5 years ago
- ☆41Aug 4, 2020Updated 5 years ago
- Recover mutation graph from an AFL seed☆60Jan 6, 2021Updated 5 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Jul 14, 2022Updated 3 years ago
- ☆25Aug 9, 2021Updated 4 years ago
- Sensitive and Collaborative Fuzzing with AFL☆27Jul 29, 2019Updated 6 years ago
- Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code☆18Feb 17, 2020Updated 5 years ago
- ☆132Oct 10, 2019Updated 6 years ago