Experimental MLIR based points-to analysis tool
☆18Apr 29, 2026Updated 3 months ago
Alternatives and similar repositories for potato
Users that are interested in potato are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated 2 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆86Jun 12, 2026Updated 2 months ago
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- ☆12Nov 2, 2022Updated 3 years ago
- binary->LLVM->circuits☆19Feb 26, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A utility library to bridge llvm and mlir gaps.☆16Jan 8, 2025Updated last year
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…☆444Apr 13, 2026Updated 4 months ago
- ☆13Jun 20, 2022Updated 4 years ago
- Automatic Parallelism Using LLVM☆10Aug 2, 2014Updated 12 years ago
- Prolog, Datalog, languages, resources, and beyond!☆36Aug 8, 2026Updated last week
- ☆44Jun 28, 2025Updated last year
- Project for learning about llvm☆18Sep 13, 2022Updated 3 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆39Jul 6, 2017Updated 9 years ago
- vertical + gpu + free join + datalog☆22Feb 12, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Sorted grep.☆13Mar 26, 2015Updated 11 years ago
- An experiment in using DuckDB for a datalog / egg☆27Oct 11, 2023Updated 2 years ago
- Pull your compiler up with abstract bootstraps.☆32Dec 15, 2022Updated 3 years ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆36Jul 8, 2024Updated 2 years ago
- Embedded Universal DSL: a good DSL for us, by us☆79Updated this week
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆25Jun 19, 2019Updated 7 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated last year
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Jul 24, 2025Updated last year
- A collection of command-line tools based on Dyninst☆18Jun 3, 2021Updated 5 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.
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆153Jan 30, 2025Updated last year
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆85Aug 8, 2026Updated last week
- Retypd plugin for Ghidra reverse engineering framework from NSA☆28Jul 6, 2023Updated 3 years ago
- This is java implementation of Graspan.☆20Dec 20, 2023Updated 2 years ago
- CClyzer port to souffle lang☆21Jan 29, 2024Updated 2 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆84Jan 22, 2024Updated 2 years ago
- Movec: A Tool for the Monitoring and Verification of C Programs☆22Mar 9, 2024Updated 2 years ago
- A Full-System Framework for Simulating NDP devices from Caches to DRAM☆21Jan 12, 2024Updated 2 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Feb 18, 2021Updated 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.
- ☆24May 23, 2023Updated 3 years ago
- ☆25Jul 19, 2022Updated 4 years ago
- PDB Rewriting Rust Library☆29Apr 26, 2024Updated 2 years ago
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆198Oct 29, 2022Updated 3 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 5 years ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Mar 17, 2023Updated 3 years ago