philzook58 / pcode2cLinks
Convert low ghidra pcode to verifiable C
☆22Updated 8 months ago
Alternatives and similar repositories for pcode2c
Users that are interested in pcode2c are comparing it to the libraries listed below
Sorting:
- Dr. Disassembler☆35Updated 3 years ago
- The DREAM decompiler☆42Updated 3 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 9 months ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆152Updated last week
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated last year
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- ☆19Updated 8 months ago
- fundamental traits to describe an architecture in the yaxpeax project☆15Updated 3 months ago
- rev.ng configuration for orchestra. The starting point for any development.☆36Updated 3 weeks ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 5 months ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- VSCode extension for the LLVM IR language☆61Updated last year
- Formally verified x86-64 decompilation☆26Updated 2 weeks ago
- ☆24Updated 2 years ago
- A demontration of disassemblers generated by sleigh2rust☆13Updated 6 months ago
- AIL: The angr Intermediate Language.☆32Updated last week
- The next generation reverse engineering IDE (work-in-progress).☆95Updated 11 months ago
- A (SLEIGH) disassembler that supports multiple architectures☆83Updated 3 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆47Updated 5 years ago
- SMT Modeling for Ghidra's PCODE☆25Updated last week
- Pretty printer from GTIRB to assembly code☆48Updated 2 months ago
- llvm crash analysis☆43Updated 11 months ago
- Updates DWARF debug sections and ELF symbols with info obtained through disassembly☆29Updated 10 months ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆31Updated 2 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆19Updated this week
- Pure Python Itanium C++ ABI demangler☆35Updated 2 years ago
- Code for analyzing cpp inheritance☆12Updated 3 years ago
- Support of Nvidia Falcon processors for Ghidra☆70Updated 8 months ago
- Retypd plugin for Ghidra reverse engineering framework from NSA☆24Updated last year