☆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
Sorting:
- ☆19Feb 6, 2023Updated 3 years ago
- gradient-based symbolic execution engine implemented from scratch☆37Dec 16, 2023Updated 2 years ago
- Guides and examples to help achieve optimal performance on a NVIDIA Grace CPU☆16Aug 9, 2024Updated last year
- ☆25Nov 2, 2025Updated 4 months 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☆51Mar 2, 2026Updated 2 weeks ago
- ☆17Aug 15, 2023Updated 2 years ago
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- DARPA CASE program☆16Jun 10, 2025Updated 9 months ago
- OGhidra bridges Large Language Models (LLMs) via Ollama with the Ghidra reverse engineering platform, enabling AI-driven binary analysis …☆126Mar 4, 2026Updated 2 weeks ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆53Jul 20, 2025Updated 8 months ago
- The implementation of an SMTLib dialect for xDSL☆17Updated this week
- 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 precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 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…☆318Mar 9, 2026Updated last week
- ☆18May 1, 2020Updated 5 years ago
- ☆11Oct 28, 2020Updated 5 years ago
- ☆23Mar 24, 2023Updated 2 years ago
- Code Continuity Analysis Framework☆23Mar 3, 2025Updated last year
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆128Updated this week
- ☆10Mar 24, 2022Updated 3 years ago
- QNAP NAS firmware encryption/decryption tool☆11Sep 5, 2020Updated 5 years ago
- ☆14May 31, 2022Updated 3 years ago
- Open Source Agentic Coding Harness☆53Mar 11, 2026Updated last week
- The artifact for SecSMT paper -- Usenix Security 2022☆31Oct 4, 2022Updated 3 years ago
- ☆45Apr 12, 2022Updated 3 years ago
- TensorRight: Automated Verification of Tensor Graph Rewrites☆18Nov 9, 2025Updated 4 months 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☆39Mar 4, 2026Updated 2 weeks ago
- 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☆44Mar 9, 2026Updated last week
- Program Round-off Error Certifier via Static Analysis☆56Dec 8, 2025Updated 3 months ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆118Nov 26, 2024Updated last year
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆43Dec 17, 2023Updated 2 years ago
- CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is a "mirror" -- p…☆137Mar 9, 2026Updated last week
- ☆14Jun 2, 2025Updated 9 months ago