GitHub - goblint/cil：C 中间语言

goblint-cil是C语言的开源前端，用于简化程序分析和转换。它支持C99、C11和GNU C扩展，改进了原始CIL，包括支持现代OCaml版本、使用Zarith处理整数常量、改进位置信息、移除未维护的扩展和MSVC支持，并使用dune进行构建。用户可以使用cilly作为gcc的替代品或将其作为库使用。