rbran / sleigh3rust
A demontration of disassemblers generated by sleigh2rust
☆12Updated 3 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.☆42Updated 2 months ago
- Python bit pattern library for instruction encodings. Bytes in, IR out!☆14Updated 3 years ago
- ☆13Updated 2 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 2 years ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated last year
- Symbolic executor for Binary Ninja's MLIL☆22Updated 5 months ago
- IDA's Lumina feature, reimplemented for Binary Ninja, with new error handeling!☆37Updated 3 months ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- LLVM Without The ROP Gadgets!☆26Updated last year
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated last month
- ☆58Updated 2 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆44Updated 2 months ago
- Minidump loader for Binary Ninja☆10Updated last year
- SMT Modeling for Ghidra's PCODE☆22Updated last month
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆29Updated 2 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆19Updated last week
- Binary Ninja MLIL to LLVM IR lifter☆15Updated 3 years ago
- transpile llil to c++ for execution and testing☆42Updated last year
- How to use LLVM passes☆30Updated 2 years ago
- Dr. Disassembler☆35Updated 3 years ago
- ☆40Updated 3 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆26Updated this week
- Ghidra plugin that adds a window showing the high P-code for the current function.☆15Updated 2 years ago
- ☆13Updated last year
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Updated 2 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- A disassembler☆21Updated 2 years ago
- hypervisor enforced patch protection for the linux kernel with xen + libvmi, libvmi KASLR offset spoofer☆29Updated 11 months ago
- ☆30Updated 4 years ago