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学习之旅。。。

阅读更多
文章标签: cil 程序分析
个人分类: CIL
上一篇第一篇博文
下一篇Requires installation of untrusted packages
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页

关闭
关闭