norlen / symex
Symbolic Execution Engine in Rust
☆18Updated last year
Related projects ⓘ
Alternatives and complementary repositories for symex
- PEIM (UEFI) bootkit targeting OVMF (EDK2)☆33Updated 11 months ago
- An xtask to speed up Windows kernel driver development in rust.☆18Updated 4 months ago
- Rust library for lifting raw binary data to LLVM IR☆41Updated 2 months ago
- Yet Another Simple Hypervisor☆10Updated 3 years ago
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…☆30Updated last year
- PDB Rewriting Rust Library☆20Updated 6 months ago
- A demonstration of hooking into the VMProtect-2 virtual machine☆17Updated last year
- A thin introspection hypervisor framework that allows for low level resource manipulation.☆12Updated 9 months ago
- Template for UEFI runtime drivers written in Rust with serial logging and debugging support.☆58Updated 4 years ago
- ☆21Updated 4 months ago
- Playing with LLVM passes☆35Updated last year
- hy-rs, pronounced high rise, provides a unified and portable to the hypervisor APIs provided by various platforms.☆18Updated 2 years ago
- A parser for Microsoft PDB (Program Database) debugging information☆24Updated 2 weeks ago
- Exemplary LLVM function pass implementing Control Flow Flattening.☆16Updated 6 years ago
- A binary analysis framework written in Rust.☆19Updated 10 months ago
- AMD SVM hypervisor rootkit proof of concept☆42Updated last year
- Binary Ninja plugin for automating VMProtect analysis☆57Updated last year
- Easily search LLVM headers for all major versions!☆15Updated last month
- LLVM Manager - downloads, compiles and installs LLVM versions☆9Updated last month
- LLVM Without The ROP Gadgets!☆24Updated 10 months ago
- Binary Ninja plugin to perform automated analysis of Windows drivers☆16Updated 5 years ago
- Cheat Engine alternative written in Rust☆12Updated 2 years ago
- A minimalistic logger for Windows Kernel Drivers.☆20Updated 8 months ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 3 years ago
- Simple Intel VT-x type-2 hypervisor for 64-bit Linux.☆16Updated 4 years ago
- ☆17Updated last year
- Ghidra Sleight (PCode) parsing library in Rust.☆38Updated this week
- Ghidra plugin that adds a window showing the high P-code for the current function.☆14Updated last year
- FastSymApi - A Fast API PDB Symbol Cache Server that efficiently caches and compresses PDBs on disk for quick and repeated retrieval.☆18Updated last month
- Disassembler for Zeus VM custom instruction set☆24Updated 9 months ago