Beginning of CIL

原创 2013年12月07日 21:00:14

推荐资料:

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

相关文章推荐

nike air max is the beginning of a political negotiation. If the "general political dialogue" to co

Continue to adhere to the "first by the government"?Some observers also believe that the delegation ...

beginning of coding,programing thinking

从来没有想过自己要搞技术,可是大学毕业之后却莫名其妙的走上了编程之路。经过一年的彷徨,挣扎,到今天我决定开始自己的编程生涯,不能再逃避了。coding,let's get married! 听前辈们...
  • hlsmb
  • hlsmb
  • 2014年02月23日 21:58
  • 310

Beginning C++ Game Programming Part1 of 2

  • 2008年09月30日 18:52
  • 23.44MB
  • 下载

webpack+vue-cil 配置接口地址代理以及将项目打包到子目录的方法

webpack+vue-cil 配置接口地址代理以及将项目打包到子目录的方法前言很久没有更新关于webpack+vue的内容了。前面承诺过大家告诉大家如何打包到子目录的。由于太忙,也忘记了。今天补充两...
  • FungLeo
  • FungLeo
  • 2017年05月23日 16:43
  • 5226

关于CLR、CIL、CTS、CLS、CLI、BCL和FCL

原文地址:点击打开链接如果要想深入学习.NET平台,那么标题中的这些关键字对你来说并不陌生,这些名词构成了.NET庞大的生态系统,为了宏观认识.NET平台,学些.NET架构体系,针对一些常用常用名词的...

Beginning of R

  • 2015年03月03日 14:20
  • 11.16MB
  • 下载

Beginning Lua with World of Warcraft Add-ons

  • 2013年11月11日 22:20
  • 3.09MB
  • 下载
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:Beginning of CIL
举报原因:
原因补充:

(最多只允许输入30个字)