推荐资料:
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学习之旅。。。