Modular And Compositional analysis with KLEE Engine
☆119Dec 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆654Nov 23, 2022Updated 3 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆339Oct 22, 2026Updated last week
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Sep 28, 2018Updated 8 years ago
- ☆387Oct 28, 2019Updated 7 years ago
- FuzzBALL: Vine-based Binary Symbolic Execution☆216Aug 15, 2025Updated last year
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆84Jun 21, 2020Updated 6 years ago
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆497Aug 24, 2024Updated 2 years ago
- Clang instrumentation module for tracing variable and buffer comparisons in C/C++ and saving the coverage data to .sancov files☆207Mar 14, 2019Updated 7 years ago
- QASan is a custom QEMU 3.1.1 that detects memory errors in the guest using AddressSanitizer.☆355Jul 30, 2024Updated 2 years ago
- a grammar based feedback fuzzer☆168Jul 1, 2023Updated 3 years ago
- ☆402Sep 23, 2021Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 3 years ago
- ☆253Mar 13, 2020Updated 6 years ago
- Recover mutation graph from an AFL seed☆61Jan 6, 2021Updated 5 years ago
- Seeding fuzzers with symbolic execution☆203Oct 20, 2017Updated 9 years ago
- This repository contains the code for a fuzzing prototype for the OP-TEE system call interface using AFL.☆146Aug 12, 2021Updated 5 years ago
- libs2e.so☆18Dec 19, 2020Updated 5 years ago
- Janus: a state-of-the-art file system fuzzer on Linux☆239Dec 23, 2019Updated 6 years ago
- A hypervisor for fuzzing built with WHVP and Bochs☆385Feb 5, 2019Updated 7 years ago
- Fuzzing the Kernel Using Unicornafl and AFL++☆306Jan 2, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆31Apr 7, 2019Updated 7 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆155Oct 4, 2021Updated 5 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…☆957Jul 18, 2022Updated 4 years ago
- Driller: augmenting AFL with symbolic execution!☆986Mar 24, 2025Updated last year
- FairFuzz: AFL extension targeting rare branches☆254Feb 19, 2019Updated 7 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆38Feb 6, 2021Updated 5 years ago
- BrundleFuzz is a distributed fuzzer for Windows and Linux using dynamic binary instrumentation.☆82Sep 10, 2016Updated 10 years ago
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Jul 6, 2024Updated 2 years ago
- ☆95Apr 2, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆10Aug 28, 2020Updated 6 years ago
- KLEE-TAINT - Klee with taint analysis support☆71Oct 23, 2017Updated 9 years ago
- A demo project for AFL with QEMU Augmented Instrumentation (qai)☆45Nov 22, 2016Updated 9 years ago
- Domain-Specific Fuzzing with Waypoints☆242Apr 26, 2023Updated 3 years ago
- ☆134Oct 10, 2019Updated 7 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆596Jan 10, 2019Updated 7 years ago
- Scalable Validator for Binary Lifters☆64Jun 28, 2020Updated 6 years ago