niconaus / PCode-Dump
☆16Updated last year
Alternatives and similar repositories for PCode-Dump:
Users that are interested in PCode-Dump are comparing it to the libraries listed below
- ☆20Updated last year
- ☆12Updated 2 years ago
- ☆69Updated last year
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆146Updated 3 weeks ago
- AIL: The angr Intermediate Language.☆31Updated this week
- a few Ghidra scripts for dumping PCode data☆50Updated 5 years ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆46Updated last week
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.☆13Updated 4 months ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 3 years ago
- ☆52Updated last month
- ☆43Updated 2 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆58Updated 4 years ago
- Symbolic Execution Over Processor Traces☆119Updated 5 months ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆112Updated last month
- Ghidra Emulates Functions☆54Updated 4 years ago
- Python API for rewriting GTIRB files☆18Updated 3 months ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆31Updated this week
- ☆23Updated 2 years ago
- ☆42Updated 10 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆75Updated this week
- Pretty printer from GTIRB to assembly code☆48Updated this week
- Ghidra Sleight (PCode) parsing library in Rust.☆42Updated last month
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆189Updated this week
- A versatile and easy-to-use static binary patching tool.☆33Updated 2 weeks ago
- ☆35Updated 2 years ago
- Flex 'em lexers☆39Updated 4 years ago
- ☆136Updated 3 months ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆98Updated 2 months ago
- AFL bindings for Unicorn-Engine☆71Updated 3 weeks ago