rbran / sleigh3rust
A demontration of disassemblers generated by sleigh2rust
☆11Updated last year
Related projects ⓘ
Alternatives and complementary repositories for sleigh3rust
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated last year
- Ghidra Sleight (PCode) parsing library in Rust.☆38Updated this week
- Symbolic executor for Binary Ninja's MLIL☆22Updated last month
- SMT Modeling for Ghidra's PCODE☆20Updated this week
- Ghidra P-Code emulation and static LLVM lifting in Python☆29Updated 2 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆27Updated 2 years ago
- transpile llil to c++ for execution and testing☆41Updated 10 months ago
- Output high level Pcode (PcodeAST) in Ghidra☆15Updated last year
- Binary Ninja MLIL to LLVM IR lifter☆14Updated 3 years ago
- Python bit pattern library for instruction encodings. Bytes in, IR out!☆14Updated 2 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- IDA's Lumina feature, reimplemented for Binary Ninja, with new error handeling!☆36Updated 6 months ago
- ☆30Updated 4 years ago
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…☆30Updated last year
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆42Updated 4 months ago
- LLVM Without The ROP Gadgets!☆24Updated 10 months ago
- ☆21Updated 4 months ago
- Tantō slices functions into more consumable chunks☆46Updated last week
- ☆39Updated 3 years ago
- Some Rust bindings for Binary Ninja