☆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:
- ☆19Feb 6, 2023Updated 3 years ago
- gradient-based symbolic execution engine implemented from scratch☆38Dec 16, 2023Updated 2 years ago
- ☆13Sep 29, 2025Updated 9 months ago
- ☆12Mar 9, 2025Updated last year
- Output high level Pcode (PcodeAST) in Ghidra☆18Apr 7, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- CTADL is a static taint analysis tool☆63Jun 24, 2026Updated 3 weeks ago
- A Ghidra extension for running Kotlin scripts☆16May 21, 2020Updated 6 years ago
- This adds partial support of AVX2 and AVX-512 to gem5.☆15Dec 19, 2023Updated 2 years 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
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆63May 20, 2025Updated last year
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆45Dec 17, 2023Updated 2 years ago
- CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is the primary, ca…☆327Jun 8, 2026Updated last month
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- Reference material for libbeauty☆25Aug 6, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An FFI for Ghidra's Sleigh also providing SMT modeling and analysis☆37Jun 6, 2026Updated last month
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- ☆10Jan 3, 2023Updated 3 years ago
- TelegramBot Handcrafted for Translation of places in OpenStreetMap☆12Mar 25, 2021Updated 5 years ago
- An extension to load Ghidra scripts written in Scala☆32Jul 6, 2026Updated 2 weeks ago
- High-density, terminal-based binary viewer for visual pattern matching.☆21May 11, 2018Updated 8 years ago
- Ghidra loader module for the Mobicore trustlet and driver binaries☆27Nov 2, 2019Updated 6 years ago
- Practical P-Code examples☆68Feb 12, 2021Updated 5 years ago
- Scripts for unlinking a program back into relocatable object ELF files with Ghidra☆11Aug 20, 2023Updated 2 years ago
- 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.
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆63Apr 27, 2021Updated 5 years ago
- Uncovering Container Confusion in the Linux Kernel☆47Feb 27, 2024Updated 2 years ago
- My scripts for Ghidra.☆26Oct 9, 2025Updated 9 months ago
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated last year
- The published code repo for the Cortex-M SoK paper.☆27Feb 5, 2026Updated 5 months ago
- Python bindings for LLVM auto-generated from the LLVM-C API☆229Apr 8, 2025Updated last year
- miniKanren with a first-order representation of the search space☆17Mar 11, 2026Updated 4 months ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆119Nov 26, 2024Updated last year
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆185Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Binary Deobfuscation Series☆21Nov 20, 2019Updated 6 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 8 years ago
- CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is a "mirror" -- p…☆143Mar 9, 2026Updated 4 months ago
- ☆99May 4, 2025Updated last year
- ☆20Dec 18, 2018Updated 7 years ago
- PoC code of AOT poisoning presented at Black Hat Asia 2023☆12May 10, 2023Updated 3 years ago
- Notes (and implementation) of unification with binders☆17Feb 10, 2026Updated 5 months ago