Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation
☆161Aug 31, 2022Updated 3 years ago
Alternatives and similar repositories for aurora
Users that are interested in aurora are comparing it to the libraries listed below
Sorting:
- ☆78Dec 26, 2025Updated 2 months ago
- Symbolic Execution Over Processor Traces☆127Aug 14, 2024Updated last year
- ☆91Oct 25, 2021Updated 4 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Jul 14, 2022Updated 3 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆141Aug 17, 2021Updated 4 years ago
- AFLTeam Collaborative Parallel Fuzzing☆75Sep 5, 2022Updated 3 years ago
- SymQEMU: Compilation-based symbolic execution for binaries☆371May 5, 2025Updated 10 months ago
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆125Mar 31, 2021Updated 4 years ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆25Mar 28, 2024Updated last year
- ☆307Aug 13, 2021Updated 4 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆94Jan 19, 2022Updated 4 years ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆655Nov 23, 2022Updated 3 years ago
- ☆55Mar 30, 2020Updated 5 years ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆335Jan 11, 2026Updated 2 months ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆91May 7, 2024Updated last year
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆120Apr 4, 2023Updated 2 years ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆229Jan 3, 2026Updated 2 months ago
- ☆99Oct 19, 2020Updated 5 years ago
- QASan is a custom QEMU 3.1.1 that detects memory errors in the guest using AddressSanitizer.☆351Jul 30, 2024Updated last year
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems☆173Aug 8, 2022Updated 3 years ago
- source code for savior fuzzer☆127Oct 1, 2020Updated 5 years ago
- tool for multi-execution jump coverage introspection☆68Jan 28, 2025Updated last year
- ☆132Oct 10, 2019Updated 6 years ago
- DynamoRIO plugin to get ASAN and SanitizerCoverage compatible output for closed-source executables☆214Sep 17, 2021Updated 4 years ago
- UAFuzz: Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities☆350Sep 25, 2023Updated 2 years ago
- ☆400Sep 23, 2021Updated 4 years ago
- fuzzing + concolic = fuzzolic :)☆129Nov 6, 2025Updated 4 months ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆156Oct 4, 2021Updated 4 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆127Jun 18, 2020Updated 5 years ago
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆84Jun 21, 2020Updated 5 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆177Apr 19, 2024Updated last year
- SymCC: efficient compiler-based symbolic execution☆862Updated this week
- An AFL implementation with UnTracer (our coverage-guided tracer)☆124Jul 7, 2022Updated 3 years ago
- Fuzz Introspector -- introspect, extend and optimise fuzzers☆451Updated this week
- This implements a 64-bit version of vusec/vuzzer fuzzing tool.☆180Mar 29, 2022Updated 3 years ago
- autofz: Automated Fuzzer Composition at Runtime☆84Sep 13, 2023Updated 2 years ago
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆475Jul 8, 2024Updated last year
- ☆204Sep 1, 2025Updated 6 months ago
- Directed Greybox Fuzzing with AFL☆555Mar 13, 2024Updated 2 years ago