C Language Analysis in Rascal
☆27Dec 16, 2025Updated 2 months ago
Alternatives and similar repositories for clair
Users that are interested in clair are comparing it to the libraries listed below
Sorting:
- The Stratego program transformation language☆35Apr 29, 2025Updated 10 months ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 6 months ago
- A C Templating Engine☆11Apr 13, 2017Updated 8 years ago
- Dynamic-language-like data structure for C☆15Jun 13, 2016Updated 9 years ago
- Currently unfinished GPU based C compiler☆17Aug 4, 2025Updated 6 months ago
- Small, header-only, cross-platform SIMD vector library (3D or otherwise) for C11.☆16May 30, 2022Updated 3 years ago
- Performance Counter Measurements at the cycle granularity☆18Jul 9, 2021Updated 4 years ago
- Data Dependence Analyzer in the Polyhedral Model☆21Nov 2, 2023Updated 2 years ago
- 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
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆23Jul 7, 2023Updated 2 years ago
- Umeq is an equivalent of qemu user mode emulation with improved robustness☆22Mar 20, 2019Updated 6 years ago
- A utility for injecting memory allocation failures☆23Nov 29, 2023Updated 2 years ago
- C++ Compiler☆21Dec 5, 2021Updated 4 years ago
- An MLIR frontend for tensor expressions☆24Sep 5, 2020Updated 5 years ago
- AIL: The angr Intermediate Language.☆33May 28, 2025Updated 9 months ago
- A WIP aarch64 emulator (and at some point dynarec) written in C++20.☆31Jun 4, 2022Updated 3 years ago
- Asynchronous DNS resolver☆36Feb 5, 2018Updated 8 years ago
- A stripped-down LLD (LLVM linker)☆30Apr 11, 2020Updated 5 years ago
- Static analysis framework for EVM bytecode☆31Jan 29, 2020Updated 6 years ago
- Pull your compiler up with abstract bootstraps.☆31Dec 15, 2022Updated 3 years ago
- No-dependency easy to understand string to floating point number conversion☆33Sep 10, 2024Updated last year
- A simple fortran syntax checker, including automatic fixing of the code.☆32Updated this week
- Formally verified x86-64 decompilation☆44Feb 17, 2026Updated last week
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated last year
- This is an inofficial mirror of the Eigen Compiler Suite source code usually deployed as tar.gz☆35May 13, 2024Updated last year
- Simple grammar-based test case generator☆40Updated this week
- light ifconfig☆14Apr 13, 2019Updated 6 years ago
- This repository is the code implementing some classic algorithms in co-location pattern minning.☆13May 9, 2014Updated 11 years ago
- Graphlib is a C Library for Graph. Importing this will provide Graph API to extent to applications.☆12Mar 2, 2018Updated 7 years ago
- Sample implementation accompanying the NeurIPS 2019 paper 'Powerset Convolutional Neural Networks' by Chris Wendler, Dan Alistarh, and Ma…☆10Oct 26, 2020Updated 5 years ago
- A toy LDAP server in C for illustrative purposes☆12Apr 6, 2011Updated 14 years ago
- ☆12Oct 13, 2022Updated 3 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Updated this week
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- COVA - A static analysis tool to compute path conditions☆40Jul 12, 2025Updated 7 months ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆76Updated this week
- [ICSE '25] LLM Based Input Space Partitioning Testing for Library APIs☆13Jul 27, 2025Updated 7 months ago
- Python bindings for libsrcml☆17Aug 25, 2025Updated 6 months ago