☆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
- The implementation of an SMTLib dialect for xDSL☆17Updated this week
- 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 2 years ago
- gradient-based symbolic execution engine implemented from scratch☆37Dec 16, 2023Updated 2 years ago
- TensorRight: Automated Verification of Tensor Graph Rewrites☆18Nov 9, 2025Updated 3 months ago
- ☆18May 1, 2020Updated 5 years ago
- OGhidra bridges Large Language Models (LLMs) via Ollama with the Ghidra reverse engineering platform, enabling AI-driven binary analysis …☆114Feb 20, 2026Updated last week
- Semantic model for aspects of ELF static linking and DWARF debug information☆53Jul 20, 2025Updated 7 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆51Nov 16, 2025Updated 3 months ago
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- ☆25Nov 2, 2025Updated 3 months ago
- Code Continuity Analysis Framework☆23Mar 3, 2025Updated 11 months ago
- Rigorous Floating-Point Mixed-Precision Tuner☆17May 21, 2020Updated 5 years ago
- Program Round-off Error Certifier via Static Analysis☆56Dec 8, 2025Updated 2 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆127Updated this week
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59May 20, 2025Updated 9 months ago
- Updates DWARF debug sections and ELF symbols with info obtained through disassembly☆30Jul 9, 2024Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated last year
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆118Nov 26, 2024Updated last year
- CTADL is a static taint analysis tool☆51Aug 29, 2025Updated 6 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 research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆75Updated this week
- Binary analysis in HOL☆46Feb 13, 2026Updated 2 weeks ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Updated this week
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated last year
- Formally verified x86-64 decompilation☆44Feb 17, 2026Updated last week
- Website for CS 265☆33Dec 27, 2024Updated last year
- ☆43Jun 28, 2025Updated 8 months ago
- A Java bytecode library for Python.☆11Aug 11, 2025Updated 6 months ago
- Windows 7/Vista/8/10 64-bit driver for the Actlabs ForceRS force feedback wheel☆10May 13, 2020Updated 5 years ago
- An executable specification of the RISCV ISA in L3.☆42Mar 1, 2019Updated 7 years ago
- A versatile and easy-to-use static binary patching tool.☆55Sep 16, 2025Updated 5 months ago
- ☆45Apr 12, 2022Updated 3 years ago
- An extension to load Ghidra scripts written in Scala☆30Feb 11, 2026Updated 2 weeks ago
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆43Dec 17, 2023Updated 2 years ago
- Notes and handouts from OPLSS 2019☆35Jun 28, 2019Updated 6 years ago
- This project tries to provide additional Ghidra Version Tracking Correlators suitable for patch diffing.☆93Oct 27, 2023Updated 2 years ago
- ☆95May 4, 2025Updated 9 months ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year