rbran / sleigh-rs
Ghidra Sleight (PCode) parsing library in Rust.
☆42Updated last month
Alternatives and similar repositories for sleigh-rs:
Users that are interested in sleigh-rs are comparing it to the libraries listed below
- Mixed Boolean Arithmetic Simplification using E-Graphs☆12Updated this week
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated last year
- A (SLEIGH) disassembler that supports multiple architectures☆81Updated 2 years ago
- SMT Modeling for Ghidra's PCODE☆22Updated last week
- transpile llil to c++ for execution and testing☆42Updated last year
- Core emulator components for Icicle☆138Updated last month
- MBA deobfuscator via Program Synthesis and Term Rewriting☆48Updated 10 months ago
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…☆34Updated last year
- Triton-based DSE library with loading and exploration capabilities (and more!)☆113Updated last month
- A demontration of disassemblers generated by sleigh2rust☆12Updated 2 months ago
- ☆69Updated last year
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆55Updated 2 years ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆83Updated 2 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆76Updated this week
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆63Updated 3 months ago
- LLVM Without The ROP Gadgets!☆26Updated last year
- Binja Arm64 Disassembler☆90Updated 2 weeks ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆148Updated this week
- ☆40Updated 3 years ago
- A Low Level IL emulator for Binary Ninja☆37Updated 6 years ago
- ☆64Updated 2 months ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆29Updated 2 years ago
- Mixed Boolean-Arithmetic☆50Updated 11 months ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆30Updated 2 years ago
- Tantō slices functions into more consumable chunks☆48Updated 3 months ago
- Rust library for lifting raw binary data to LLVM IR☆44Updated 4 months ago
- Symbolic executor for Binary Ninja's MLIL☆22Updated 4 months ago
- IDA's Lumina feature, reimplemented for Binary Ninja, with new error handeling!☆37Updated 2 months ago
- Instruction decoder generator☆12Updated 2 weeks ago
- kAFL Fuzzer☆33Updated 5 months ago