irisc-research-syndicate / sleigherLinks
Tools for working with Ghidra/Sleigh slaspec
☆11Updated last year
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 last year
- SMT Modeling and Configurable Program Analysis for Ghidra's PCODE☆32Updated this week
- A (SLEIGH) disassembler that supports multiple architectures☆88Updated 3 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆146Updated 2 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- ☆74Updated 2 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆170Updated this week
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆68Updated last week
- Triton-based DSE library with loading and exploration capabilities (and more!)☆135Updated last month
- transpile llil to c++ for execution and testing☆48Updated 2 years ago
- Visualise the Data Flow Graph of the PCODE at all stages in the decompilation process☆53Updated 9 months ago
- Symbolic executor for Binary Ninja's MLIL☆26Updated last year
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24Updated 9 months ago
- libLISA: Instruction Discovery and Analysis on x86-64☆123Updated 11 months ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆117Updated last year
- How to use LLVM passes☆36Updated 3 years ago
- Rust bindings for googleprojectzero/TinyInst☆25Updated last month
- Instruction decoder generator☆33Updated 8 months ago
- simple type recognition in decompiled executables☆118Updated last year
- A graphing library for Control Flow Graphs☆104Updated 7 months ago
- A binary analysis framework written in Rust.☆174Updated 7 months ago
- Core emulator components for Icicle☆278Updated 2 weeks ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆38Updated last week
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59Updated 8 months ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆23Updated 7 months ago
- AIL: The angr Intermediate Language.☆33Updated 8 months ago
- ☆13Updated 3 years ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆127Updated this week
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆60Updated 3 years ago
- MBA-Blast is a tool for simplification of MBA expressions.☆70Updated 4 years ago