niconaus / pcode-interpreter
☆20Updated last year
Alternatives and similar repositories for pcode-interpreter:
Users that are interested in pcode-interpreter are comparing it to the libraries listed below
- ☆16Updated last year
- Ghidra Sleight (PCode) parsing library in Rust.☆42Updated last month
- SMT Modeling for Ghidra's PCODE☆22Updated this week
- The DREAM decompiler☆40Updated 2 years ago
- ☆69Updated last year
- AIL: The angr Intermediate Language.☆31Updated this week
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆146Updated 3 weeks ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆43Updated last week
- Ghidra P-Code emulation and static LLVM lifting in Python☆30Updated 2 years ago
- Pretty printer from GTIRB to assembly code☆48Updated this week
- Retypd plugin for Ghidra reverse engineering framework from NSA☆22Updated last year
- Dr. Disassembler☆35Updated 3 years ago
- llvm with tablegen backend for capstone disassembler☆44Updated 2 weeks ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆12Updated last week
- A demontration of disassemblers generated by sleigh2rust☆12Updated 2 months ago
- A (SLEIGH) disassembler that supports multiple architectures☆81Updated 2 years ago
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated last year
- ☆30Updated 4 years ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆75Updated this week
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆60Updated 3 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆126Updated last year
- Diablo is a retargetable link-time binary rewriting framework☆75Updated 4 years ago
- ☆40Updated 3 years ago
- ☆19Updated 6 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆46Updated 4 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- transpile llil to c++ for execution and testing☆42Updated last year
- Reference material for libbeauty☆25Updated 2 years ago
- Extracting high level semantic information from binary code☆64Updated 5 years ago