RUB-SysSec / redqueen
☆373Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for redqueen
- A Kernel fuzzer focusing on race bugs☆358Updated 5 years ago
- Smart Greybox Fuzzing (https://thuanpv.github.io/publications/TSE19_aflsmart.pdf)☆506Updated 2 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆573Updated 5 years ago
- Improving AFL by using Intel PT to collect branch information☆289Updated 5 years ago
- Fuzzer for Linux Kernel Drivers☆369Updated 2 years ago
- ☆296Updated 3 years ago
- The fastest Intel-PT decoder for fuzzing☆360Updated 9 months ago
- AFL binary instrumentation☆294Updated last year
- A grammar based feedback Fuzzer☆425Updated 2 months ago
- ☆126Updated 5 years ago
- Learn how to combine libprotobuf-mutator with libfuzzer & AFL++☆246Updated last month
- A grammar-based custom mutator for AFL++☆234Updated 4 months ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆172Updated 6 months ago
- UAFuzz: Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities☆335Updated last year
- Fuzzing the Kernel Using Unicornafl and AFL++☆294Updated last year
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆466Updated 4 months ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆150Updated 2 years ago
- SymQEMU: Compilation-based symbolic execution for binaries☆328Updated this week
- Manul is a coverage-guided parallel fuzzer for open-source and blackbox binaries on Windows, Linux and MacOS☆337Updated 4 years ago
- MOpt-AFL provided by the paper "MOPT: Optimized Mutation Scheduling for Fuzzers"☆201Updated 3 years ago
- A fuzzer for full VM kernel/driver targets☆657Updated last month
- My fuzzing corpus☆248Updated 4 years ago
- QASan is a custom QEMU 3.1.1 that detects memory errors in the guest using AddressSanitizer.☆339Updated 3 months ago
- FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.☆397Updated 2 years ago
- Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware☆391Updated 3 years ago
- ☆248Updated 4 years ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆677Updated 5 months ago
- ☆183Updated last year
- LAVA: Large-scale Automated Vulnerability Addition☆370Updated last week
- This implements a 64-bit version of vusec/vuzzer fuzzing tool.☆177Updated 2 years ago