Beginning of CIL

推荐资料：

CIL： Intermediate Language and Tools for Analysis and Transformation of C Program(paper in cc02)

A CIL Tutorial 点击打开链接

CIL主要用于C程序的分析，CIL的强大功能看paper就可以知道个大概，我就不展开了。CIL是用OCaml语言写的，学习CIL的同时，必须要对OCaml语言进行系统的学习。

在学习CIL的过程中，推荐A CIL Tutorial作为学习的教材。本书将CIL的各种功能在不同的章节用很简单的例子进行了详细地讲解。

在我上面的链接中，下载之后进行安装，作者提供了ubuntu下的详细安装办法。我用的是fedora，并且用到cmake（原来没用过），我搞了半天没有成功安装上。考虑到我只需要他的代码而且各种结果在书中都有详细的显示，我就没有继续装。但是，老师还是让我装上跑起来看看。没办法，联想到当初用的genprog（best paper in ICSE 2011）中的makefile（genprog也用到了cil对C程序进行处理），然后我就仿造它重新写了个makefile，对作者提供的源码进行了编译运行。

接下来开始我们的CIL学习之旅。。。