CIL 1.6.0 支持静态本地变量和 GCC 的 computed gotos (或者叫 labels as values) ,修复了一些 bug。
CIL 是 C 编程语言的前端工具,用来执行程序分析和转换。CIL 对程序进行解析和类型检查并将它编译和简化为 C 语言的子集。例如,在 CIL 中可通过简单的形式和表达式直接定义循环结构,此举可简化代码。
CIL 支持 ANSI C 标准,包括 GNU C 和微软的 C 编译器,通过一个 Perl 脚本来自动支持 GNU C 和微软的编译器。
项目主页:http://kerneis.github.com/cil/doc/html/cil/
来自:开源中国社区