intel / vmsifterLinks
Framework for in-VM test execution and monitoring, inspired by Sandsifter
☆12Updated 2 months ago
Alternatives and similar repositories for vmsifter
Users that are interested in vmsifter are comparing it to the libraries listed below
Sorting:
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 11 months ago
- A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS☆322Updated last week
- Linux kernel branches for confidential compute research☆19Updated 8 months ago
- ☆14Updated last week
- Fast, parallel, cross-variant ROP/JOP gadget search for x86/x64 binaries.☆119Updated 2 years ago
- Intel x86 bare metal hypervisor for researching snapshot fuzzing ideas.☆168Updated 4 years ago
- LibAFL-based snapshot fuzzer to fuzz TMNF's RPC interface. Includes a free RCE exploit!☆43Updated 2 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆132Updated 2 months ago
- ☆15Updated last year
- 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
- Cross-platform harnessing framework designed for Nyx-based fuzzers☆27Updated 9 months ago
- ☆68Updated 9 months ago
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆41Updated 2 years ago
- ☆81Updated 6 months ago
- A binary analysis framework written in Rust.☆168Updated 5 months ago
- Slides and materials for the talk Reconstructing Rust Types: A Practical Guide for Reverse Engineers at RE//verse 2025, presented on Febr…☆18Updated 6 months ago
- Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode☆86Updated 2 years ago
- Common format for transferring and applying function information across binary analysis tools☆55Updated 3 weeks ago
- Core emulator components for Icicle☆261Updated last month
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆116Updated last year
- kAFL Fuzzer☆34Updated 8 months ago
- Linux kernel source tree patched with Hypervisor-Enforced Kernel Integrity☆13Updated 2 years ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆121Updated last week
- Ariadne: Binary Ninja Graph Analysis Plugin☆102Updated 9 months ago
- ☆94Updated last year
- A simple hypervisor demonstrating the use of the Intel VT-rp (redirect protection) technology.☆109Updated last year
- ☆187Updated 2 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆58Updated 6 months ago
- Practical fuzzing tutorials and training☆31Updated last year
- SMT Modeling for Ghidra's PCODE☆31Updated last week