intel / kernel-fuzzer-for-xen-project
Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL
☆470Updated 7 months ago
Alternatives and similar repositories for kernel-fuzzer-for-xen-project:
Users that are interested in kernel-fuzzer-for-xen-project are comparing it to the libraries listed below
- A fuzzer for full VM kernel/driver targets☆675Updated 2 weeks ago
- AFL binary instrumentation☆293Updated last month
- Snapshot-based coverage-guided windows kernel fuzzer☆317Updated 3 years ago
- The fastest Intel-PT decoder for fuzzing☆366Updated last year
- ☆436Updated 4 months ago
- ☆381Updated 3 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆577Updated 6 years ago
- Winnie makes fuzzing Windows applications easy☆549Updated 2 years ago
- Kernel Address Space Layout Derandomization (KASLD) - A collection of various techniques to infer the Linux kernel base virtual address a…☆433Updated 10 months ago
- A Bochs-based instrumentation project designed to log kernel memory references, to identify "double fetches" and other OS vulnerabilities☆334Updated 5 years ago
- A curated list of Hyper-V exploitation resources, fuzzing and vulnerability research.☆396Updated 4 years ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆698Updated 9 months ago
- FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.☆409Updated 2 years ago
- Fuzzing the Kernel Using Unicornafl and AFL++☆296Updated 2 years ago
- SymQEMU: Compilation-based symbolic execution for binaries☆341Updated 3 months ago
- A grammar based feedback Fuzzer☆434Updated 6 months ago
- ☆238Updated last year
- A Bochs-based instrumentation performing kernel memory taint tracking to detect disclosure of uninitialized memory to ring 3☆301Updated 6 years ago
- Code and exercises for a workshop on z3 and angr☆225Updated 4 years ago
- Binary coverage tool without binary modification for Windows☆434Updated 4 years ago
- DynamoRIO plugin to get ASAN and SanitizerCoverage compatible output for closed-source executables☆206Updated 3 years ago
- UAFuzz: Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities☆342Updated last year
- Learn how to combine libprotobuf-mutator with libfuzzer & AFL++☆249Updated 5 months ago
- Manul is a coverage-guided parallel fuzzer for open-source and blackbox binaries on Windows, Linux and MacOS☆339Updated 4 years ago
- Vulnerability research notes for VirtualBox and QEMU. Contains debug environment setup notes, a PoC template, exploit primitive notes, an…☆183Updated 11 months ago
- A fuzzing tool for closed-source binaries based on Unicorn and LibFuzzer☆341Updated 5 years ago
- SALT - SLUB ALlocator Tracer for the Linux kernel☆149Updated 6 years ago
- Kernel development & exploitation practice environment.☆221Updated last year
- A Kernel fuzzer focusing on race bugs☆362Updated 5 years ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆459Updated 2 months ago