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
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆29Updated 2 years ago
- Binary Ninja MLIL to LLVM IR lifter☆14Updated 3 years ago
- Output high level Pcode (PcodeAST) in Ghidra☆15Updated last year
- Python bit pattern library for instruction encodings. Bytes in, IR out!☆14Updated 2 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆25Updated 2 years ago
- ☆13Updated 2 years ago
- LLVM Without The ROP Gadgets!☆24Updated 10 months ago
- transpile llil to c++ for execution and testing☆41Updated 9 months ago
- ☆12Updated last year
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 3 years ago
- IDA's Lumina feature, reimplemented for Binary Ninja, with new error handeling!☆36Updated 6 months ago
- VSCode extension for the LLVM IR language☆58Updated 5 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆42Updated 4 months ago
- Virtual Tagger Plugin is a Cutter plugin that significantly improves handling and analysis of vtables and virtual functions☆13Updated last year
- ☆39Updated 3 years ago
- LLVM based devirtualization PoC’s.☆20Updated 2 years ago
- Adds a window to Binary Ninja that explains in simple-ish English what an instruction does☆51Updated last year
- A collection of Binary Ninja plugins☆23Updated 2 years ago
- Minidump loader for Binary Ninja☆10Updated last year
- ☆19Updated 4 months ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆47Updated 7 months ago
- Tantō slices functions into more consumable chunks☆46Updated last year
- AMD SVM hypervisor rootkit proof of concept☆42Updated last year
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…☆28Updated last year
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Updated last year
- Using Zydis and LLVM to lift unsupported instructions to LLVM-IR☆27Updated 3 years ago