Experimental MLIR based points-to analysis tool
☆18Apr 29, 2026Updated 2 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 last year
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆84Jun 12, 2026Updated last month
- 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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 3 months ago
- ☆13Jun 20, 2022Updated 4 years ago
- Automatic Parallelism Using LLVM☆10Aug 2, 2014Updated 11 years ago
- Prolog, Datalog, languages, resources, and beyond!☆34Feb 10, 2026Updated 5 months ago
- ☆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
- 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.
- 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☆78Updated 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☆69Mar 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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.☆85Updated this 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☆20Jan 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆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