googleprojectzero / bochspwnLinks
A Bochs-based instrumentation project designed to log kernel memory references, to identify "double fetches" and other OS vulnerabilities
☆341Updated 6 years ago
Alternatives and similar repositories for bochspwn
Users that are interested in bochspwn are comparing it to the libraries listed below
Sorting:
- A Bochs-based instrumentation performing kernel memory taint tracking to detect disclosure of uninitialized memory to ring 3☆310Updated 6 years ago
- Cross Platform Kernel Fuzzer Framework☆453Updated 7 years ago
- ☆250Updated 5 years ago
- PEDA-like debugger UI for WinDbg☆205Updated last year
- DynamoRIO plugin to get ASAN and SanitizerCoverage compatible output for closed-source executables☆211Updated 4 years ago
- CTF Challenge Framework for Windows 8 and above☆155Updated 4 years ago
- Block Oriented Programming -- Compiler☆186Updated 5 years ago
- Have fun with the LowFragmentationHeap☆251Updated 4 years ago
- ☆285Updated 5 years ago
- Tool to generate ROP gadgets for ARM, AARCH64, x86, MIPS, PPC, RISCV, SH4 and SPARC☆305Updated last year
- Improving AFL by using Intel PT to collect branch information☆292Updated 6 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆586Updated 6 years ago
- Fuzzing the Kernel Using Unicornafl and AFL++☆303Updated 2 years ago
- Automatically exported from code.google.com/p/ioctlfuzzer☆170Updated 10 years ago
- Use angr in the IDA Pro debugger generating a state from the current debug session☆280Updated 5 years ago
- SALT - SLUB ALlocator Tracer for the Linux kernel☆155Updated 7 years ago
- Use angr inside GDB. Create an angr state from the current debugger state.☆202Updated 5 years ago
- ☆182Updated 6 years ago
- Code and exercises for a workshop on z3 and angr☆233Updated 4 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆188Updated 4 years ago
- Fuzzer for Linux Kernel Drivers☆384Updated 3 years ago
- Fuzz and Detect "Use After Free" vulnerability in win32k.sys ( Heap based )☆138Updated 9 years ago
- ☆199Updated 2 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆219Updated 4 months ago
- Some helper scripts to set up an environment for angr development.☆121Updated 3 months ago
- Some kernel fuzzing paper about windows and linux☆254Updated 8 years ago
- A hypervisor for fuzzing built with WHVP and Bochs☆378Updated 6 years ago
- ☆137Updated 4 years ago
- A plugin for Hex-Ray's IDA Pro and radare2 to export the symbols recognized to the ELF symbol table☆212Updated 3 years ago
- AFL + DynamoRIO = fuzzing binaries with no source code on Linux☆248Updated 6 years ago