irisc-research-syndicate / sleigherLinks
Tools for working with Ghidra/Sleigh slaspec
☆11Updated 5 months ago
Alternatives and similar repositories for sleigher
Users that are interested in sleigher are comparing it to the libraries listed below
Sorting:
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 5 months ago
- SMT Modeling for Ghidra's PCODE☆25Updated last week
- BinRec: Dynamic Binary Lifting and Recompilation☆137Updated last year
- ☆70Updated last year
- A (SLEIGH) disassembler that supports multiple architectures☆83Updated 3 years ago
- A graphing library for Control Flow Graphs☆52Updated 2 weeks ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆120Updated 3 weeks ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆105Updated this week
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆112Updated 6 months ago
- A versatile and easy-to-use static binary patching tool.☆37Updated last month
- ☆23Updated 2 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆152Updated this week
- How to use LLVM passes☆32Updated 3 years ago
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated last year
- Binja Arm64 Disassembler☆90Updated last month
- Rust bindings for googleprojectzero/TinyInst☆20Updated 2 months ago
- AIL: The angr Intermediate Language.☆32Updated this week
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated last month
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆10Updated last year
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- Formally verified x86-64 decompilation☆26Updated last week
- Framework for in-VM test execution and monitoring, inspired by Sandsifter☆11Updated 2 months ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated last month
- Practical fuzzing tutorials and training☆30Updated 10 months ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆19Updated this week
- Write a Ghidra Extension without using Java or Eclipse!☆18Updated 4 months ago
- Slides and materials for the talk Reconstructing Rust Types: A Practical Guide for Reverse Engineers at RE//verse 2025, presented on Febr…☆16Updated last week
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- Core emulator components for Icicle☆221Updated 2 weeks ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago