A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
☆12Aug 27, 2025Updated 6 months ago
Alternatives and similar repositories for maki
Users that are interested in maki are comparing it to the libraries listed below
Sorting:
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated last year
- AIL: The angr Intermediate Language.☆33May 28, 2025Updated 9 months ago
- Portable Event Library☆18Apr 28, 2025Updated 10 months ago
- Dynamic-language-like data structure for C☆15Jun 13, 2016Updated 9 years ago
- patch presence test via symbolic signatures, ICSE'24☆12Mar 29, 2024Updated last year
- A tool for dependencies validation for ninja build system using strace to detect the real dependencies☆16Nov 12, 2018Updated 7 years ago
- An implementation of classical tic-tac-toe game for terminal I/O☆16Sep 2, 2022Updated 3 years ago
- A C vector library similar to the C++ STL vector☆21Apr 20, 2025Updated 10 months ago
- The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).☆20Mar 22, 2021Updated 4 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆77Updated this week
- Simple parser for Python marshal serialization and pyc files☆22Jan 23, 2026Updated last month
- my C Header-Only Libraries☆17Nov 26, 2024Updated last year
- A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …☆19Mar 10, 2024Updated last year
- A Shell to parse ELF files☆19Apr 28, 2023Updated 2 years ago
- ☆22Oct 11, 2017Updated 8 years ago
- bison-like Parser generator & Compiler frontend framework that generate optimised IELR(1)/LALR(1) tables with Deterministic LR and Non-De…☆23Oct 13, 2025Updated 4 months ago
- unrolled skip list library for C☆22May 25, 2019Updated 6 years ago
- C++ Compiler☆21Dec 5, 2021Updated 4 years ago
- C Language Analysis in Rascal☆27Dec 16, 2025Updated 2 months ago
- Collection of highly reusable C utilities.☆34Jan 24, 2024Updated 2 years ago
- SMT Modeling and Configurable Program Analysis for Ghidra's PCODE☆32Updated this week
- Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.☆33Jan 16, 2026Updated last month
- A WIP aarch64 emulator (and at some point dynarec) written in C++20.☆31Jun 4, 2022Updated 3 years ago
- C JSON parser (both, SAX-like & full DOM)☆27Jan 20, 2024Updated 2 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated last year
- c-prepocessor lisp☆28Nov 5, 2023Updated 2 years ago
- A stripped-down LLD (LLVM linker)☆30Apr 11, 2020Updated 5 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆31May 10, 2023Updated 2 years ago
- weggli ruleset scanner for source code and binaries☆39Nov 16, 2025Updated 3 months ago
- Automatically exported from code.google.com/p/libconcurrency☆26Mar 19, 2015Updated 10 years ago
- Self-hosting C toolchain, from scratch☆36Feb 7, 2025Updated last year
- This is an inofficial mirror of the Eigen Compiler Suite source code usually deployed as tar.gz☆36May 13, 2024Updated last year
- Formally verified x86-64 decompilation☆44Feb 17, 2026Updated 2 weeks ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆22Jan 11, 2026Updated last month
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- light ifconfig☆14Apr 13, 2019Updated 6 years ago
- ☆13Jul 22, 2022Updated 3 years ago
- My own C library. Probably don't use it.☆34Feb 5, 2020Updated 6 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Nov 13, 2025Updated 3 months ago