π The former home of clangir, now part of the official LLVM incubator. See website below for details.
β155Aug 5, 2022Updated 3 years ago
Alternatives and similar repositories for clangir
Users that are interested in clangir are comparing it to the libraries listed below
Sorting:
- 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β¦β435Mar 2, 2026Updated last week
- πππ The former home of clangir incubator, now part of the official llvm-project.β589Feb 21, 2026Updated 2 weeks ago
- LLVM meets Code Property Graphsβ96Feb 27, 2021Updated 5 years ago
- Automatic verification of LLVM optimizationsβ1,066Feb 27, 2026Updated last week
- Tutorial for LLVM Dev Conference 2019.β15Oct 23, 2019Updated 6 years ago
- A LLVM Sanitizer for Symbolic Tracingβ234Updated this week
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.β169Dec 4, 2025Updated 3 months ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computationβ16Aug 24, 2020Updated 5 years ago
- C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!β605Jun 19, 2025Updated 8 months ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.β150Jan 30, 2025Updated last year
- A symbolic execution engine for LLVM IR