blob: 467537f118ca02b3586817875ae8f6ec1a696d96 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
Infrastructure for C Program Analysis and Transformation
CIL (C Intermediate Language) is a high-level representation along
with a set of tools that permit easy analysis and source-to-source
transformation of C programs.
CIL is both lower-level than abstract-syntax trees, by clarifying
ambiguous constructs and removing redundant ones, and also higher-level
than typical intermediate languages designed for compilation, by
maintaining types and a close relationship with the source program.
WWW: http://kerneis.github.com/cil/
|
