philzook58 / pcode2cLinks
Convert low ghidra pcode to verifiable C
☆22Updated last year
Alternatives and similar repositories for pcode2c
Users that are interested in pcode2c are comparing it to the libraries listed below
Sorting:
- Formally verified x86-64 decompilation☆44Updated this week
- The DREAM decompiler☆45Updated 3 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- rev.ng configuration for orchestra. The starting point for any development.☆36Updated last week
- Dr. Disassembler☆37Updated 3 years ago
- Support of Nvidia Falcon processors for Ghidra☆73Updated last year
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆159Updated this week
- Ghidra Wasm plugin with disassembly and decompilation support☆64Updated 2 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- simple type recognition in decompiled executables☆115Updated last year
- ☆25Updated 2 years ago
- EFI Byte Code Virtual Machine in userspace☆81Updated 2 years ago
- ☆72Updated last year
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆37Updated 2 weeks ago
- Standalone AArch64 Emulator Library☆71Updated 4 years ago
- ML-based ISA detection (architecture and endianness of binary code/sequences)☆66Updated 2 years ago
- Binary Ninja Plugin for RISC-V☆14Updated last year
- Pure Python Itanium C++ ABI demangler☆37Updated 3 years ago
- X86 disassembler benchmark☆62Updated last week
- Ghidra extension to disassemble NSIS installers☆23Updated last month
- ☆19Updated last year
- Ghidra P-Code emulation and static LLVM lifting in Python☆33Updated 3 years ago
- Sled System Emulator☆28Updated this week
- The next generation reverse engineering IDE (work-in-progress).☆98Updated last year
- A simple library focusing on demangling symbols for different programing languages☆47Updated 4 years ago
- Write a Ghidra Extension without using Java or Eclipse!☆18Updated 9 months ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 7 months ago
- The Decompilation Wiki: info on all things decompilation☆224Updated last week
- Verified, Incremental, Binary Editing with Synthesis☆53Updated 2 years ago
- x86 JIT playground for documenting and exploring microarchitectural implementation details☆18Updated 2 weeks ago