☆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
- Guides and examples to help achieve optimal performance on a NVIDIA Grace CPU☆17Aug 9, 2024Updated last year
- Automatically exported from code.google.com/p/corkami☆14Mar 14, 2015Updated 11 years ago
- ☆33Nov 2, 2025Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- This adds partial support of AVX2 and AVX-512 to gem5.☆15Dec 19, 2023Updated 2 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆56May 15, 2026Updated last month
- 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 last year
- Universal instruction selection☆12Jun 8, 2018Updated 8 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
- 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.
- OGhidra bridges Large Language Models (LLMs) via Ollama with the Ghidra reverse engineering platform, enabling AI-driven binary analysis …☆188Updated this week
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 2026Updated 2 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆58Jul 20, 2025Updated 11 months ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 5 years ago
- A Ghidra processor module for the EFI Byte Code (EBC)☆37Jun 20, 2020Updated 6 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆69Mar 1, 2025Updated last year
- CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is the primary, ca…☆326Jun 8, 2026Updated 3 weeks ago
- ☆18May 1, 2020Updated 6 years ago
- ☆11Oct 28, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Code Continuity Analysis Framework☆23Mar 3, 2025Updated last year
- ☆23Mar 24, 2023Updated 3 years ago
- Reference material for libbeauty☆25Aug 6, 2022Updated 3 years ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆180Jun 7, 2026Updated 3 weeks ago
- ☆10Mar 24, 2022Updated 4 years ago
- QNAP NAS firmware encryption/decryption tool☆13Sep 5, 2020Updated 5 years ago
- ☆14May 31, 2022Updated 4 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆62May 20, 2025Updated last year
- The artifact for SecSMT paper -- Usenix Security 2022☆30Oct 4, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- NAS Parallel Benchmark Kernels in C/C++. The parallel versions are in FastFlow, TBB, and OpenMP.☆22Jul 29, 2021Updated 4 years ago
- ☆45Apr 12, 2022Updated 4 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆40Jun 19, 2026Updated last week
- Hodor for node.js☆15Jun 18, 2023Updated 3 years ago
- CHERI C/C++ Programming Guide☆67May 11, 2026Updated last month
- TensorRight: Automated Verification of Tensor Graph Rewrites☆23Nov 9, 2025Updated 7 months ago
- Program Round-off Error Certifier via Static Analysis☆57Dec 8, 2025Updated 6 months ago