yrp604 / bochscpu-buildLinks
☆16Updated last month
Alternatives and similar repositories for bochscpu-build
Users that are interested in bochscpu-build are comparing it to the libraries listed below
Sorting:
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆30Updated 7 years ago
- ☆47Updated 2 years ago
- Windbg2ida lets you dump each step in Windbg then shows these steps in IDA☆75Updated 11 months ago
- ☆87Updated 10 years ago
- A fast execution trace symbolizer for Windows.☆131Updated last year
- Python based angr plug in for IDA Pro.☆35Updated 7 years ago
- x86 bootloader emulation with Miasm (case of NotPetya)☆43Updated 6 years ago
- Python portage of the Microcode Explorer plugin☆31Updated 6 years ago
- Plugins for IDA Pro and Hex-Rays☆42Updated 7 years ago
- PoC for CVE-2017-0075☆37Updated 5 years ago
- Load function names from an IDA Pro database inside GDB☆20Updated 6 years ago
- PANDA-powered tracing engine for tenet☆11Updated 3 years ago
- Kernel driver to fuzz Hyper-V hypercalls☆137Updated 6 years ago
- ☆34Updated 3 years ago
- Breaking Secure Boot with SMM☆41Updated 3 years ago
- VMX intrinsics plugin for Hex-Rays decompiler☆71Updated 5 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆50Updated 4 years ago
- A fork of AFL for fuzzing Windows binaries☆53Updated 6 years ago
- Python bindings for the Microsoft Hypervisor Platform APIs.☆80Updated 6 years ago
- Build your emulation environment as needed☆66Updated 4 years ago
- Files for my solution to the SSTIC 2021 challenge☆15Updated 4 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- QEMU to drcov trace file☆11Updated 4 years ago
- IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.☆53Updated 5 years ago
- A set of helpers and examples to fuzz Win32 binaries with AFL++ QEMU☆69Updated 5 years ago
- Exploits for YARA 3.7.1 & 3.8.1☆31Updated 6 years ago
- Interface GDB-GEF with Binary Ninja☆58Updated 4 years ago
- A code-searching/completion tool, for IDA APIs☆83Updated 5 months ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 4 years ago