norlen / symex
Symbolic Execution Engine in Rust
☆20Updated last year
Alternatives and similar repositories for symex:
Users that are interested in symex are comparing it to the libraries listed below
- Rust library for lifting raw binary data to LLVM IR☆47Updated this week
- A binary analysis framework written in Rust.☆20Updated last year
- An xtask to speed up Windows kernel driver development in rust.☆18Updated 8 months ago
- PEIM (UEFI) bootkit targeting OVMF (EDK2)☆34Updated last year
- PDB Rewriting Rust Library☆23Updated 11 months ago
- LLVM based devirtualization PoC’s.☆20Updated 3 years ago
- A demonstration of hooking into the VMProtect-2 virtual machine☆18Updated last year
- Sample Rust crate used to implement a VBS enclave in Rust☆18Updated last month
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- LLVM Without The ROP Gadgets!☆26Updated last year
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated last year
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil …☆35Updated last year
- Exemplary LLVM function pass implementing Control Flow Flattening.☆16Updated 6 years ago
- Disassembler for Zeus VM custom instruction set☆27Updated last year
- A thin introspection hypervisor framework that allows for low level resource manipulation.☆13Updated last year
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆21Updated 5 months ago
- A parser for Microsoft PDB (Program Database) debugging information☆27Updated 4 months ago
- How Meltdown and Spectre haunt Anti-Cheat: DVRT details☆21Updated 7 months ago
- A KISS Rust crate to parse Windows kernel crash-dumps created by Windows & its debugger.☆34Updated 2 months ago
- Template for UEFI runtime drivers written in Rust with serial logging and debugging support.☆58Updated 4 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 3 years ago
- IDB parser☆16Updated 3 weeks ago
- Instruction decoder generator☆14Updated 2 months ago
- ☆23Updated last month
- LLVM Manager - downloads, compiles and installs LLVM versions☆9Updated 6 months ago
- Practical fuzzing tutorials and training☆31Updated 8 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated last week
- Playing with LLVM passes☆36Updated last year
- Reverse engineered API for Microsoft's Time Travel Debugger☆33Updated 11 months ago