rbran / sleigh3rust
A demontration of disassemblers generated by sleigh2rust
☆12Updated 4 months ago
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.☆43Updated 3 months ago
- Symbolic executor for Binary Ninja's MLIL☆22Updated 6 months ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- Python bit pattern library for instruction encodings. Bytes in, IR out!☆14Updated 3 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆31Updated 2 years ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated 3 weeks ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆49Updated last year
- ☆13Updated 2 years ago
- SMT Modeling for Ghidra's PCODE☆24Updated last week
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated 3 months ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆30Updated last week
- Dr. Disassembler☆35Updated 3 years ago
- transpile llil to c++ for execution and testing☆42Updated last year
- Minidump loader for Binary Ninja☆10Updated last year
- Write a Ghidra Extension without using Java or Eclipse!☆18Updated 2 months ago
- ☆31Updated 4 years ago
- ☆15Updated 2 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 3 years ago
- Binary Ninja MLIL to LLVM IR lifter☆15Updated 3 years ago
- LLVM based devirtualization PoC’s.☆20Updated 3 years ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Updated 2 years ago
- Virtual Tagger Plugin is a Cutter plugin that significantly improves handling and analysis of vtables and virtual functions☆14Updated 2 years ago
- ☆13Updated last year
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆19Updated this week
- Reverse engineered API for Microsoft's Time Travel Debugger☆34Updated last year
- LLVM Without The ROP Gadgets!☆26Updated last year
- Easily search LLVM headers for all major versions!☆19Updated 2 months ago