intel / vmsifterLinks
Framework for in-VM test execution and monitoring, inspired by Sandsifter
☆11Updated 4 months ago
Alternatives and similar repositories for vmsifter
Users that are interested in vmsifter are comparing it to the libraries listed below
Sorting:
- Triton-based DSE library with loading and exploration capabilities (and more!)☆126Updated last week
- ☆64Updated 5 months ago
- Ariadne: Binary Ninja Graph Analysis Plugin☆93Updated 5 months ago
- Common format for transferring and applying function information across binary analysis tools☆43Updated last month
- LibAFL-based snapshot fuzzer to fuzz TMNF's RPC interface. Includes a free RCE exploit!☆42Updated 2 years ago
- A binary analysis framework written in Rust.☆170Updated last month
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 7 months ago
- Fast, parallel, cross-variant ROP/JOP gadget search for x86/x64 binaries.☆114Updated last year
- Intel x86 bare metal hypervisor for researching snapshot fuzzing ideas.☆167Updated 4 years ago
- ☆81Updated 2 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 2 months ago
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…☆36Updated 2 years ago
- Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode☆82Updated 2 years ago
- Cross-platform harnessing framework designed for Nyx-based fuzzers☆25Updated 5 months ago
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆41Updated 2 years ago
- A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS☆307Updated this week
- Core emulator components for Icicle☆235Updated last month
- Binary Type Inference Ghidra Plugin☆164Updated last year
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆113Updated 8 months ago
- ☆94Updated last year
- Linux kernel branches for confidential compute research☆18Updated 4 months ago
- Arbitrary Speculative Code Execution with Return Instructions☆160Updated last year
- A binary analysis framework written in Rust.☆20Updated last year
- SMT Modeling for Ghidra's PCODE☆27Updated last week
- ☆12Updated 11 months ago
- ☆14Updated 10 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆111Updated last week
- ☆182Updated last year
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆159Updated this week
- A (SLEIGH) disassembler that supports multiple architectures☆84Updated 3 years ago