rbran / sleigh3rust
A demontration of disassemblers generated by sleigh2rust
☆13Updated 5 months ago
Alternatives and similar repositories for sleigh3rust
Users that are interested in sleigh3rust are comparing it to the libraries listed below
Sorting:
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated last year
- Ghidra Sleight (PCode) parsing library in Rust.☆43Updated 4 months ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- SMT Modeling for Ghidra's PCODE☆25Updated this week
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆20Updated this week
- Binary Ninja MLIL to LLVM IR lifter☆15Updated 4 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated 3 months ago
- Symbolic executor for Binary Ninja's MLIL☆23Updated 7 months ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆31Updated last week
- 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
- .NET bindings for Remill☆13Updated 10 months ago
- LLVM based devirtualization PoC’s.☆20Updated 3 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated last week
- ☆13Updated last year
- VSCode extension for the LLVM IR language☆61Updated 11 months ago
- LLVM Without The ROP Gadgets!☆26Updated last year
- transpile llil to c++ for execution and testing☆42Updated last year
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 3 years ago
- ☆58Updated 2 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆31Updated 2 years ago
- ☆15Updated 2 years ago
- ☆31Updated 4 years ago
- Python bit pattern library for instruction encodings. Bytes in, IR out!☆14Updated 3 years ago
- Some Rust bindings for Binary Ninja☆30Updated last year
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- breaking decompilers☆16Updated this week
- Common format for transferring and applying function information across binary analysis tools☆33Updated 5 months ago
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆22Updated 7 months ago