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☆26Updated 2 weeks ago
- A (SLEIGH) disassembler that supports multiple architectures☆84Updated 3 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated last month
- Formally verified x86-64 decompilation☆26Updated last month
- BinRec: Dynamic Binary Lifting and Recompilation☆139Updated last year
- MBA deobfuscator via Program Synthesis and Term Rewriting☆52Updated last year
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated last year
- ☆71Updated last year
- ☆42Updated 4 years ago
- libLISA: Instruction Discovery and Analysis on x86-64☆114Updated 4 months ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆121Updated last month
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- Rust bindings for googleprojectzero/TinyInst☆20Updated 2 months ago
- MBA-Blast is a tool for simplification of MBA expressions.☆63Updated 3 years ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆92Updated 2 weeks ago
- AIL: The angr Intermediate Language.☆32Updated 3 weeks ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆112Updated 6 months ago
- transpile llil to c++ for execution and testing☆42Updated last year
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆155Updated last week
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆107Updated 3 weeks 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 Hybrid Alias Analysis☆19Updated last year
- ☆23Updated 2 years ago
- Binary Ninja MLIL to LLVM IR lifter☆15Updated 4 years ago
- kAFL Fuzzer☆33Updated 3 months ago
- Practical fuzzing tutorials and training☆30Updated 11 months ago
- Rust library for lifting raw binary data to LLVM IR☆52Updated 2 months ago
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆67Updated 2 months ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated 2 weeks ago