intel / kernel-fuzzer-for-xen-project
Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL
☆467Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for kernel-fuzzer-for-xen-project
- A fuzzer for full VM kernel/driver targets☆659Updated 2 months ago
- The fastest Intel-PT decoder for fuzzing☆361Updated 9 months ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆573Updated 5 years ago
- Snapshot-based coverage-guided windows kernel fuzzer☆312Updated 2 years ago
- ☆373Updated 3 years ago
- ☆425Updated last month
- A Kernel fuzzer focusing on race bugs☆358Updated 5 years ago
- Kernel Address Space Layout Derandomization (KASLD) - A collection of various techniques to infer the Linux kernel base virtual address a…☆420Updated 7 months ago
- AFL binary instrumentation☆293Updated last year
- repository for kernel exploit practice☆388Updated 5 years ago
- DynamoRIO plugin to get ASAN and SanitizerCoverage compatible output for closed-source executables☆204Updated 3 years ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆680Updated 6 months ago
- A grammar based feedback Fuzzer☆425Updated 3 months ago
- Fuzzing the Kernel Using Unicornafl and AFL++☆295Updated last year
- ☆228Updated last year
- QASan is a custom QEMU 3.1.1 that detects memory errors in the guest using AddressSanitizer.☆340Updated 3 months ago
- Code and exercises for a workshop on z3 and angr☆222Updated 3 years ago
- FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.☆397Updated 2 years ago
- A curated list of Hyper-V exploitation resources, fuzzing and vulnerability research.☆389Updated 4 years ago
- A Bochs-based instrumentation project designed to log kernel memory references, to identify "double fetches" and other OS vulnerabilities☆325Updated 5 years ago
- UAFuzz: Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities☆337Updated last year
- Fuzzer for Linux Kernel Drivers☆370Updated 2 years ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆451Updated 3 weeks ago
- A fuzzing tool for closed-source binaries based on Unicorn and LibFuzzer☆342Updated 5 years ago
- Manul is a coverage-guided parallel fuzzer for open-source and blackbox binaries on Windows, Linux and MacOS☆337Updated 4 years ago
- A hypervisor for fuzzing built with WHVP and Bochs☆367Updated 5 years ago
- Kernel development & exploitation practice environment.☆212Updated last year
- SymQEMU: Compilation-based symbolic execution for binaries☆331Updated 2 weeks ago
- A Bochs-based instrumentation performing kernel memory taint tracking to detect disclosure of uninitialized memory to ring 3☆297Updated 5 years ago
- Winnie is an end-to-end system that makes fuzzing Windows applications easy☆542Updated last year