intel / vmtaint
Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.
☆40Updated last year
Alternatives and similar repositories for vmtaint:
Users that are interested in vmtaint are comparing it to the libraries listed below
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆70Updated last year
- Tool to extract the kallsyms (System.map) from a memory dump☆26Updated last year
- ☆47Updated 2 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆27Updated 5 years ago
- binary ninja related code☆35Updated last month
- ☆40Updated 4 years ago
- kAFL Fuzzer☆33Updated last month
- Symbolic Execution Engine based on Ghidra's PCode☆83Updated 2 years ago
- Load function names from an IDA Pro database inside GDB☆20Updated 6 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- transpile llil to c++ for execution and testing☆42Updated last year
- ☆23Updated 2 months ago
- Python bindings for BochsCPU☆35Updated 2 months ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆76Updated 2 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- Alternative API for IDA / Hex-Rays☆74Updated last year
- Tools made for my Hyper-V blog series @ https://foxhex0ne.blogspot.com/☆57Updated 4 years ago
- Python bindings for the Microsoft Hypervisor Platform APIs.☆80Updated 5 years ago
- Build your emulation environment as needed☆66Updated 4 years ago
- LLVM Without The ROP Gadgets!☆26Updated last year
- VMX intrinsics plugin for Hex-Rays decompiler☆70Updated 5 years ago
- A fast execution trace symbolizer for Windows.☆130Updated last year
- Slightly better IDA code folding☆14Updated 4 years ago
- Sample programs that illustrate how to use Control Flow Guard, VS2015's control flow integrity implementation☆51Updated 8 years ago
- MBA-Blast is a tool for simplification of MBA expressions.☆61Updated 3 years ago
- Intel Hardware Trace Library - Kernel Space Componment☆66Updated 2 weeks ago
- ☆64Updated 5 months ago
- Hyper-V related resources☆30Updated last year
- Raw IDA Kernel API for IDAPython☆33Updated 3 years ago