Execute instructions for Ghidra-supported processors using concrete or symbolic execution of Ghidra p-code
☆25Oct 25, 2026Updated this week
Alternatives and similar repositories for symbolic-pcode
Users that are interested in symbolic-pcode are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Idiomatic Rust bindings to the Ghidra SLEIGH library for pcode disassembly☆13Nov 16, 2025Updated 11 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆25May 1, 2025Updated last year
- An FFI for Ghidra's Sleigh also providing SMT modeling and analysis☆37Aug 10, 2026Updated 2 months ago
- Disassemblers for ARM's AArch64 and AArch32 instruction sets☆22Oct 8, 2026Updated 3 weeks ago
- Output high level Pcode (PcodeAST) in Ghidra☆18Apr 7, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- MBA deobfuscator via Program Synthesis and Term Rewriting☆74Jul 6, 2026Updated 3 months ago
- ☆19Oct 14, 2024Updated 2 years ago
- A binary analysis framework written in Rust.☆185Aug 15, 2026Updated 2 months ago
- ☆14Sep 29, 2025Updated last year
- [fork] Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode☆12May 8, 2026Updated 5 months ago
- A (SLEIGH) disassembler that supports multiple architectures☆96Apr 30, 2022Updated 4 years ago
- E-Graph library☆24Apr 4, 2024Updated 2 years ago
- Slides and materials for the workshop "Reversing a (not-so-) Simple Rust Loader" at Ringzer0 COUNTERMEASURE 2025.☆16Nov 7, 2025Updated 11 months ago
- yara and radare2, better together☆30Aug 7, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆32Jun 27, 2022Updated 4 years ago
- eject_idb is a last ditch effort to flush and save your IDB when IDA hangs or a plugin causes an exception, etc.☆41Aug 18, 2026Updated 2 months ago
- A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.☆40Apr 3, 2020Updated 6 years ago
- VSCode extension for the LLVM IR language☆61May 29, 2024Updated 2 years ago
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆84Aug 29, 2026Updated 2 months ago
- ☆19Feb 25, 2026Updated 8 months ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 4 years ago
- Rust symbol recovery tool☆93Feb 19, 2026Updated 8 months ago
- Smali Source code interpreter + visitor API in Python3 and an emulator to execute code snippets.☆30May 23, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- IDA Database Parser for Rust☆26Sep 13, 2024Updated 2 years ago
- A Binary Ninja plugin that replaces inlined code with function calls☆12Oct 1, 2026Updated 3 weeks ago
- ☆30Feb 9, 2023Updated 3 years ago
- LLVM Graph View for VSCode☆42Mar 25, 2025Updated last year
- binary instrumentation, analysis, and patching framework☆106Feb 20, 2026Updated 8 months ago
- breaking decompilers☆59May 9, 2025Updated last year
- Code for ReF Decompile: Relabeling and Function Call Enhanced Decompile☆29Dec 7, 2025Updated 10 months ago
- IFL - Interactive Functions List (plugin for Binary Ninja)☆26Jul 9, 2024Updated 2 years ago
- 🛡️ Open-source binary protection toolkit for Windows PE. Nanomite, VM protection, anti-debug, and more.☆65Feb 8, 2026Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Getting better stacks and backtraces in Frida☆64Feb 20, 2026Updated 8 months ago
- Binary Deobfuscation Series☆21Nov 20, 2019Updated 6 years ago
- IDA Taskr is a pure Python library for IDA Pro related parallel computing. It lets you use the power of Qt (built-in to IDA!) and Python'…☆32Jul 19, 2026Updated 3 months ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆89Sep 18, 2026Updated last month
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆66May 20, 2025Updated last year
- Research-focused hypervisor offering advanced tools for debugging, virtual machine introspection, and automation.☆46Jun 3, 2026Updated 4 months ago
- Rewrite and obfuscate code in compiled binaries☆279Dec 13, 2025Updated 10 months ago