irisc-research-syndicate / sleigherLinks
Tools for working with Ghidra/Sleigh slaspec
☆11Updated 9 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 9 months ago
- SMT Modeling for Ghidra's PCODE☆31Updated 2 weeks ago
- BinRec: Dynamic Binary Lifting and Recompilation☆144Updated 2 years ago
- A (SLEIGH) disassembler that supports multiple architectures☆85Updated 3 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆159Updated last week
- ☆72Updated last year
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆47Updated this week
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24Updated 5 months ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆131Updated last month
- simple type recognition in decompiled executables☆115Updated last year
- Instruction decoder generator☆26Updated 5 months ago
- libLISA: Instruction Discovery and Analysis on x86-64☆118Updated 8 months ago
- Rust bindings for googleprojectzero/TinyInst☆23Updated last month
- Core emulator components for Icicle☆248Updated last week
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆115Updated 10 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆117Updated last week
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆202Updated this week
- AIL: The angr Intermediate Language.☆32Updated 4 months ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆37Updated last week
- A binary analysis framework written in Rust.☆168Updated 3 months ago
- Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.☆31Updated 5 months ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆21Updated 4 months ago
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆72Updated last month
- transpile llil to c++ for execution and testing☆43Updated last year
- A debugger for Linux in Rust☆76Updated 2 years ago
- How to use LLVM passes☆35Updated 3 years ago
- Binja Arm64 Disassembler☆95Updated 2 weeks ago
- Visualise the Data Flow Graph of the PCODE at all stages in the decompilation process☆52Updated 6 months ago
- ☆19Updated last year