C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
☆43Aug 14, 2024Updated last year
Alternatives and similar repositories for macroni
Users that are interested in macroni are comparing it to the libraries listed below
Sorting:
- Peter's Amazing Syntax Tree Analyzer☆135Oct 24, 2025Updated 4 months ago
- A utility library to bridge llvm and mlir gaps.☆15Jan 8, 2025Updated last year
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 6 months ago
- 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…☆434Feb 13, 2026Updated 2 weeks ago
- Experimental MLIR based points-to analysis tool☆17Jan 21, 2026Updated last month
- ☆16Feb 1, 2026Updated 3 weeks ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated last year
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆174Updated this week
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆50Feb 17, 2026Updated last week
- Verified, Incremental, Binary Editing with Synthesis☆55Mar 7, 2023Updated 2 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- Declarative MLIR compilers in Python!☆36Oct 9, 2020Updated 5 years ago
- Self-hosting C toolchain, from scratch☆36Feb 7, 2025Updated last year
- Spatial layout specifications for memory management systems.☆19Sep 2, 2020Updated 5 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆82Jan 22, 2024Updated 2 years ago
- Tracing-based reverse mode automatic differentiation (like autograd!)☆27Feb 2, 2025Updated last year
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Aug 12, 2025Updated 6 months ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Sep 2, 2018Updated 7 years ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆78Feb 4, 2026Updated 3 weeks ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆76Updated this week
- Semantic model for aspects of ELF static linking and DWARF debug information☆52Jul 20, 2025Updated 7 months ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆52Jul 3, 2025Updated 7 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆149Sep 18, 2023Updated 2 years ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- A simple syscall tracer☆17Oct 5, 2024Updated last year
- ☆17Feb 10, 2026Updated 2 weeks ago
- Context-free grammar parsing library☆10Oct 6, 2024Updated last year
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- Objective-C wrapper for the SearchKit API / Mac OS☆27Dec 6, 2011Updated 14 years ago
- The implementation of an SMTLib dialect for xDSL☆17Updated this week
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- 🍒 Cherry programming language 🍒☆14Sep 18, 2024Updated last year
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated 10 months ago
- SMT Modeling and Configurable Program Analysis for Ghidra's PCODE☆32Updated this week
- LLVM-based type and memory allocation tracking sanitizer☆56Feb 17, 2026Updated last week