Modular And Compositional analysis with KLEE Engine
☆117Dec 17, 2019Updated 6 years ago
Alternatives and similar repositories for macke
Users that are interested in macke are comparing it to the libraries listed below
Sorting:
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆655Nov 23, 2022Updated 3 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆334Feb 25, 2026Updated last week
- Recover mutation graph from an AFL seed☆60Jan 6, 2021Updated 5 years ago
- a grammar based feedback fuzzer☆166Jul 1, 2023Updated 2 years ago
- Janus: a state-of-the-art file system fuzzer on Linux☆234Dec 23, 2019Updated 6 years ago
- ☆401Sep 23, 2021Updated 4 years ago
- ☆386Oct 28, 2019Updated 6 years ago
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆84Jun 21, 2020Updated 5 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- Clang instrumentation module for tracing variable and buffer comparisons in C/C++ and saving the coverage data to .sancov files☆203Mar 14, 2019Updated 6 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Sep 28, 2018Updated 7 years ago
- This repository contains the code for a fuzzing prototype for the OP-TEE system call interface using AFL.☆141Aug 12, 2021Updated 4 years ago
- Fuzzing the Kernel Using Unicornafl and AFL++☆305Jan 2, 2023Updated 3 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆156Oct 4, 2021Updated 4 years ago
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 5 years ago
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆495Aug 24, 2024Updated last year
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆30Apr 7, 2019Updated 6 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆34Jun 6, 2021Updated 4 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Jul 14, 2022Updated 3 years ago
- A hypervisor for fuzzing built with WHVP and Bochs☆380Feb 5, 2019Updated 7 years ago
- ☆132Oct 10, 2019Updated 6 years ago
- FuzzBALL: Vine-based Binary Symbolic Execution☆215Aug 15, 2025Updated 6 months ago
- Improving AFL by using Intel PT to collect branch information☆292Jul 26, 2019Updated 6 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
- QASan is a custom QEMU 3.1.1 that detects memory errors in the guest using AddressSanitizer.☆350Jul 30, 2024Updated last year
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆125Mar 31, 2021Updated 4 years ago
- Seeding fuzzers with symbolic execution☆203Oct 20, 2017Updated 8 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆591Jan 10, 2019Updated 7 years ago
- BrundleFuzz is a distributed fuzzer for Windows and Linux using dynamic binary instrumentation.☆82Sep 10, 2016Updated 9 years ago
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Jul 6, 2024Updated last year
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- Driller: augmenting AFL with symbolic execution!☆965Mar 24, 2025Updated 11 months ago
- Fuzzing with controlled compilation☆31Apr 7, 2023Updated 2 years ago
- source code for savior fuzzer☆127Oct 1, 2020Updated 5 years ago
- ☆26Oct 3, 2023Updated 2 years ago
- Domain-Specific Fuzzing with Waypoints☆240Apr 26, 2023Updated 2 years ago