rbran / sleigh-rsView external linksLinks
Ghidra Sleight (PCode) parsing library in Rust.
☆44Dec 29, 2024Updated last year
Alternatives and similar repositories for sleigh-rs
Users that are interested in sleigh-rs are comparing it to the libraries listed below
Sorting:
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Jul 18, 2023Updated 2 years ago
- A demontration of disassemblers generated by sleigh2rust☆13Nov 25, 2024Updated last year
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆173Updated this week
- Tools for working with Ghidra/Sleigh slaspec☆11Jan 2, 2025Updated last year
- A (SLEIGH) disassembler that supports multiple architectures☆88Apr 30, 2022Updated 3 years ago
- ☆13Sep 25, 2023Updated 2 years ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Apr 7, 2023Updated 2 years ago
- Minidump loader for Binary Ninja☆15Sep 25, 2025Updated 4 months ago
- A disassembler☆22May 2, 2022Updated 3 years ago
- A binary analysis framework written in Rust.☆175Jun 25, 2025Updated 7 months ago
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆30Jun 14, 2025Updated 8 months ago
- LLVM Without The ROP Gadgets!☆25Jan 9, 2024Updated 2 years ago
- Python bit pattern library for instruction encodings. Bytes in, IR out!☆15Mar 6, 2022Updated 3 years ago
- White-box analytic framework based on LLVM☆39Jun 10, 2019Updated 6 years ago
- Retypd plugin for Ghidra reverse engineering framework from NSA☆27Jul 6, 2023Updated 2 years ago
- Find RSA primes in files☆20May 14, 2022Updated 3 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24May 1, 2025Updated 9 months ago
- Lisp in kernel-mode because it was so seductive☆13Jul 17, 2020Updated 5 years ago
- ☆13Jun 20, 2022Updated 3 years ago
- X86 disassembler benchmark☆10Jun 11, 2021Updated 4 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- A utility library to bridge llvm and mlir gaps.☆14Jan 8, 2025Updated last year
- Virtual Tagger Plugin is a Cutter plugin that significantly improves handling and analysis of vtables and virtual functions☆16Mar 23, 2023Updated 2 years ago
- Mixed Boolean-Arithmetic☆97Aug 24, 2025Updated 5 months ago
- ☆25May 27, 2025Updated 8 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆50Nov 16, 2025Updated 3 months ago
- sleigh craft!☆257Oct 18, 2021Updated 4 years ago
- SMT Modeling and Configurable Program Analysis for Ghidra's PCODE☆32Updated this week
- Command Palette plugin for Ghidra☆18Jan 21, 2022Updated 4 years ago
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆22Oct 8, 2024Updated last year
- ☆15Apr 8, 2023Updated 2 years ago
- Experimental static analysis framework.☆15Apr 17, 2024Updated last year
- VSCode extension for the LLVM IR language☆60May 29, 2024Updated last year
- AMD SVM hypervisor rootkit proof of concept☆48Sep 23, 2023Updated 2 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Sep 5, 2021Updated 4 years ago
- fast probabilistic symmetry detection on graphs☆20Feb 4, 2026Updated last week
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆21Jan 15, 2025Updated last year
- Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)☆106Nov 5, 2025Updated 3 months ago
- A console debugger using DbgX and Terminal.Gui☆30Oct 12, 2022Updated 3 years ago