☆27Feb 9, 2023Updated 3 years ago
Alternatives and similar repositories for pcode-interpreter
Users that are interested in pcode-interpreter are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- gradient-based symbolic execution engine implemented from scratch☆38Dec 16, 2023Updated 2 years ago
- Automatically exported from code.google.com/p/corkami☆14Mar 14, 2015Updated 11 years ago
- ☆29Nov 2, 2025Updated 6 months ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆16May 17, 2023Updated 3 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆53Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Scripts for scraping vintage x86 C/C++ libraries in Ghidra, in order to generate FunctionId databases.☆25Feb 1, 2023Updated 3 years ago
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- DARPA CASE program☆16Jun 10, 2025Updated 11 months ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- PMP: Cost-Effective Forced Execution with Probabilistic Memory Pre-Planning☆13Sep 8, 2020Updated 5 years ago
- PoC code of AOT poisoning presented at Black Hat Asia 2023☆12May 10, 2023Updated 3 years ago
- OGhidra bridges Large Language Models (LLMs) via Ollama with the Ghidra reverse engineering platform, enabling AI-driven binary analysis …☆160May 13, 2026Updated last week
- The implementation of an SMTLib dialect for xDSL☆18Apr 16, 2026Updated last month
- Semantic model for aspects of ELF static linking and DWARF debug information☆58Jul 20, 2025Updated 10 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Ghidra processor module for the EFI Byte Code (EBC)☆37Jun 20, 2020Updated 5 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆69Mar 1, 2025Updated last year
- User Guided API Misuse Detection☆30Dec 9, 2022Updated 3 years ago
- CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is the primary, ca…☆321Updated this week
- ☆18May 1, 2020Updated 6 years ago
- Stack String Explorer is a ghidra plugin to find and report stack strings (and other constant strings). Identified strings are commented …☆22Aug 20, 2024Updated last year
- ☆11Oct 28, 2020Updated 5 years ago
- Code Continuity Analysis Framework☆23Mar 3, 2025Updated last year
- Reference material for libbeauty☆25Aug 6, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆133Apr 29, 2026Updated 3 weeks ago
- [MIRROR] OpenWrt firmware image utilities☆18May 4, 2026Updated 2 weeks ago
- QNAP NAS firmware encryption/decryption tool☆12Sep 5, 2020Updated 5 years ago
- ☆13Apr 9, 2022Updated 4 years ago
- ☆14May 31, 2022Updated 3 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆62May 20, 2025Updated last year
- ☆45Apr 12, 2022Updated 4 years ago
- Dytan Taint Analysis Framework on Linux 64-bit☆46Aug 7, 2014Updated 11 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆40Apr 24, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Hodor for node.js☆15Jun 18, 2023Updated 2 years ago
- Updates DWARF debug sections and ELF symbols with info obtained through disassembly☆30Jul 9, 2024Updated last year
- Formally verified x86-64 decompilation☆48May 13, 2026Updated last week
- TensorRight: Automated Verification of Tensor Graph Rewrites☆21Nov 9, 2025Updated 6 months ago
- Open Source Agentic Coding Harness☆71Updated this week
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆21Mar 26, 2025Updated last year
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆120Nov 26, 2024Updated last year