关闭

Beginning of CIL

标签: cil程序分析
368人阅读 评论(0) 收藏 举报
分类:

推荐资料:

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

0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:1594次
    • 积分:45
    • 等级:
    • 排名:千里之外
    • 原创:3篇
    • 转载:0篇
    • 译文:0篇
    • 评论:0条
    文章分类
    文章存档