rbran / sleigh-rs
Ghidra Sleight (PCode) parsing library in Rust.
☆43Updated 4 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☆25Updated this week
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated last year
- A (SLEIGH) disassembler that supports multiple architectures☆83Updated 3 years ago
- transpile llil to c++ for execution and testing☆42Updated last year
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated last week
- 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
- breaking decompilers☆16Updated this week
- A graphing library for Control Flow Graphs☆51Updated this week
- MBA deobfuscator via Program Synthesis and Term Rewriting☆51Updated last year
- LLVM Without The ROP Gadgets!☆26Updated last year
- Binja Arm64 Disassembler☆90Updated last week
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆56Updated 2 years ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆91Updated this week
- Rust library for lifting raw binary data to LLVM IR☆50Updated 3 weeks ago
- ☆70Updated last year
- Slides and materials for the talk Reconstructing Rust Types: A Practical Guide for Reverse Engineers at RE//verse 2025, presented on Febr…☆14Updated 2 months ago
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆65Updated last month
- ☆40Updated 4 years ago
- ☆47Updated 2 months ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆117Updated this week
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆31Updated 2 years ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆104Updated 2 weeks ago
- ☆64Updated 5 months ago
- A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.☆35Updated 5 years ago
- A demontration of disassemblers generated by sleigh2rust☆13Updated 5 months ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆31Updated 3 months ago
- Symbolic executor for Binary Ninja's MLIL☆23Updated 7 months ago
- Write a Ghidra Extension without using Java or Eclipse!☆18Updated 3 months ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆151Updated this week