vmi-rs / vmiLinks
Modular and extensible library for Virtual Machine Introspection
☆109Updated 4 months ago
Alternatives and similar repositories for vmi
Users that are interested in vmi are comparing it to the libraries listed below
Sorting:
- Rust library for lifting raw binary data to LLVM IR☆60Updated 5 months ago
- ☆61Updated 10 months ago
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…☆38Updated 2 years ago
- ☆89Updated 10 months ago
- A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations☆62Updated last year
- Windows kernel debugger for Linux hosts running Windows under KVM/QEMU☆106Updated this week
- ☆156Updated last month
- bypassing intel txt's tboot integrity checks via coreboot shim☆83Updated 9 months ago
- A parser for Microsoft PDB (Program Database) debugging information☆22Updated last year
- NovaHypervisor is a defensive x64 Intel host based hypervisor. The goal of this project is to protect against kernel based attacks (eithe…☆237Updated 2 months ago
- A simple hypervisor demonstrating the use of the Intel VT-rp (redirect protection) technology.☆111Updated last year
- Rust symbol recovery tool☆75Updated 5 months ago
- AMD Hypervisor written writh Rust.☆158Updated 2 years ago
- Sample Rust crate used to implement a VBS enclave in Rust☆36Updated 6 months ago
- A Binary Ninja plugin to detect Themida, WinLicense and Code Virtualizer's obfuscated code locations.☆88Updated last year
- WinDbg extension written in Rust to dump the CPU / memory state of a running VM☆125Updated 2 months ago
- Rust bindings to the System Informer's (formerly known as Process Hacker) "phnt" native Windows headers☆47Updated 6 months ago
- ☆93Updated last year
- The Windbg extensions to study Hyper-V on Intel and AMD processors.☆167Updated 3 months ago
- Mixed Boolean-Arithmetic☆93Updated 3 months ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆112Updated last week
- Lightweight PDB symbol parser and resolver☆28Updated last year
- Python bindings for the Icicle emulator.☆40Updated last month
- Find out how to bypass HVCI (or not). My own research on Microsoft Warbird (specifically in clipsp.sys)☆80Updated last month
- Research-focused hypervisor offering advanced tools for debugging, virtual machine introspection, and automation.☆41Updated last month
- x86-64 virtualizing obfuscator written in Rust☆77Updated 2 years ago
- A set of LLVM and GCC based plugins that perform code obfuscation.☆136Updated 2 months ago
- A graphing library for Control Flow Graphs☆101Updated 6 months ago
- A bare minimum hypervisor on AMD and Intel processors for learners.☆323Updated 2 months ago
- Mixed Boolean Arithmetic Expression Obfuscator☆69Updated 2 years ago