niconaus / pcode-interpreter
☆21Updated 2 years ago
Alternatives and similar repositories for pcode-interpreter:
Users that are interested in pcode-interpreter are comparing it to the libraries listed below
- ☆17Updated 2 years ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- ☆70Updated last year
- Ghidra Sleight (PCode) parsing library in Rust.☆43Updated 3 months ago
- Pretty printer from GTIRB to assembly code☆48Updated 3 weeks ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆149Updated 2 weeks ago
- AIL: The angr Intermediate Language.☆32Updated this week
- SMT Modeling for Ghidra's PCODE☆23Updated this week
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆60Updated 3 years ago
- A Ghidra extension for running Kotlin scripts☆16Updated 4 years ago
- Dr. Disassembler☆35Updated 3 years ago
- The DREAM decompiler☆41Updated 2 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated 2 months ago
- An extension to load Ghidra scripts written in Scala☆29Updated last month
- A demontration of disassemblers generated by sleigh2rust☆12Updated 4 months ago
- ☆30Updated 4 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains☆22Updated last year
- A Ghidra plugin for locating object file boundaries.☆123Updated 4 months ago
- Headless Scripts for Ghidra's Headless Analyzer written in Python☆30Updated 5 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 (SLEIGH) disassembler that supports multiple architectures☆83Updated 2 years ago
- A symbolic execution engine for LLVM IR☆51Updated 2 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆66Updated last year
- Formally verified x86-64 decompilation☆22Updated this week
- A PCode Emulator for Ghidra.☆108Updated 4 years ago
- ☆18Updated 7 months ago
- Write a Ghidra Extension without using Java or Eclipse!☆18Updated 2 months ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆30Updated last week
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- Retypd plugin for Ghidra reverse engineering framework from NSA☆22Updated last year