rbran / sleigh3rust
A demontration of disassemblers generated by sleigh2rust
☆12Updated last month
Alternatives and similar repositories for sleigh3rust:
Users that are interested in sleigh3rust are comparing it to the libraries listed below
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated last year
- Ghidra Sleight (PCode) parsing library in Rust.☆42Updated 2 weeks ago
- SMT Modeling for Ghidra's PCODE☆22Updated last month
- Ghidra P-Code emulation and static LLVM lifting in Python☆30Updated 2 years ago
- Output high level Pcode (PcodeAST) in Ghidra☆15Updated last year
- Mixed Boolean Arithmetic Simplification using E-Graphs☆12Updated this week
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Ctrl+P plugin for Ghidra: quick search and command palette.☆32Updated 2 weeks ago
- Python bit pattern library for instruction encodings. Bytes in, IR out!☆14Updated 2 years ago
- Symbolic executor for Binary Ninja's MLIL☆22Updated 3 months ago
- LLVM Without The ROP Gadgets!☆26Updated last year
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆29Updated 2 years ago
- transpile llil to c++ for execution and testing☆42Updated last year
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆43Updated 6 months ago
- ☆58Updated last year
- Dr. Disassembler☆35Updated 3 years ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆48Updated 9 months ago
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…☆32Updated last year
- IDA's Lumina feature, reimplemented for Binary Ninja, with new error handeling!☆36Updated last month
- Minidump loader for Binary Ninja☆10Updated last year
- ☆39Updated 3 years ago
- Binary Ninja MLIL to LLVM IR lifter☆14Updated 3 years ago
- ☆13Updated 2 years ago
- ☆16Updated 4 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- ☆15Updated 2 years ago
- ☆30Updated 4 years ago
- ☆13Updated last year
- Python bindings for BochsCPU☆35Updated 3 months ago
- AMD SVM hypervisor rootkit proof of concept☆44Updated last year