cil
A front-end for the C programming language that simplifies code for analysis and transformation.
What is cil?
CIL (C Intermediate Language) is a front-end tool for the C programming language that parses, type-checks, and compiles C programs into a simplified subset of C. It facilitates program analysis and transformation by providing a cleaner, more uniform representation of C code, making it easier to build tools that reason about or modify C programs.
Developers and researchers building static analysis, verification, or transformation tools for C codebases, especially those dealing with complex or compiler-specific C extensions.
Developers choose CIL over raw C parsing because it simplifies C's complexity into a manageable intermediate form, supports ANSI C along with GNU and Microsoft compiler extensions, and offers seamless integration as a drop-in compiler replacement or OCaml library for custom tooling.
Overview
C Intermediate Language
Use Cases
Best For
- Building custom static analysis tools for C programs that require control-flow or points-to analysis.
Related Projects
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
