rbran / sleigh-rs
Ghidra Sleight (PCode) parsing library in Rust.
☆43Updated 3 months ago
Alternatives and similar repositories for sleigh-rs:
Users that are interested in sleigh-rs are comparing it to the libraries listed below
- SMT Modeling for Ghidra's PCODE☆24Updated this week
- A (SLEIGH) disassembler that supports multiple architectures☆83Updated 2 years ago
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated last year
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated 3 weeks ago
- transpile llil to c++ for execution and testing☆42Updated last year
- A demontration of disassemblers generated by sleigh2rust☆12Updated 4 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 last year
- A graphing library for Control Flow Graphs☆51Updated 2 weeks ago
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆56Updated 2 years ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆49Updated last year
- Binja Arm64 Disassembler☆90Updated 3 weeks ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆116Updated 4 months ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆31Updated 2 years ago
- ☆40Updated 4 years ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆87Updated last week
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆151Updated this week
- Slides and materials for the talk Reconstructing Rust Types: A Practical Guide for Reverse Engineers at RE//verse 2025, presented on Febr…☆13Updated last month
- MBA-Blast is a tool for simplification of MBA expressions.☆61Updated 3 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- IDA's Lumina feature, reimplemented for Binary Ninja, with new error handeling!☆37Updated 4 months ago
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆64Updated last week
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆103Updated this week
- Binary Ninja MLIL to LLVM IR lifter☆15Updated 3 years ago
- Binary Ninja Itanium C++ ABI Plugin☆66Updated 8 months ago
- ☆70Updated last year
- IDB parser☆16Updated this week
- ☆64Updated 5 months ago
- Rust bindings for googleprojectzero/TinyInst☆18Updated 2 weeks ago
- A binary analysis framework written in Rust.☆168Updated this week
- Rust library for lifting raw binary data to LLVM IR☆48Updated last week