静态数据竞争检测工具之LOCKSMITH-安装和使用
2015-07-21 09:37
369 查看
静态数据竞争检测工具都是基于中间语言开发的,在安装之前必须要先安装Ocaml和CIL
如果安装过程中发现缺少一些包,可使用apt-get自行安装
首先介绍LOCKSMITH的安装,可参考这里
1. 下载Ocaml3.10,解压,执行下面步骤
./configure
make world
make opt
umask 022
sudo make install
make clean
以上均为必要安装步骤,可选安装步骤可参考INSTALL文件
Ocaml安装完毕之后,就可以进行LOCKSMITH的安装了
2. 下载LOCKSMITH V1.0版本,解压
进入到cil目录,执行下面命令
./configure
make
make check
进入到../banshee目录,使用补丁文件替换掉engine目录中的如下文件
flowrow-sort.c
persist.c
setif-sort.c
setif-var.c
term-sort.c
nonspec.c
替换掉dyckcfl目录中的dyckcfl-replay.c
替换掉tests目录中的dyckcfl-test.c文件
补丁文件详见这里
然后回到locksmith根目录,执行下面命令
./configure
make
到此,locksmith安装完毕
使用如下命令测试(选择一个源文件,.c结尾)
locksmith/cil/bin/cilly --merge *.c
如果安装过程中发现缺少一些包,可使用apt-get自行安装
首先介绍LOCKSMITH的安装,可参考这里
1. 下载Ocaml3.10,解压,执行下面步骤
./configure
make world
make opt
umask 022
sudo make install
make clean
以上均为必要安装步骤,可选安装步骤可参考INSTALL文件
Ocaml安装完毕之后,就可以进行LOCKSMITH的安装了
2. 下载LOCKSMITH V1.0版本,解压
进入到cil目录,执行下面命令
./configure
make
make check
进入到../banshee目录,使用补丁文件替换掉engine目录中的如下文件
flowrow-sort.c
persist.c
setif-sort.c
setif-var.c
term-sort.c
nonspec.c
替换掉dyckcfl目录中的dyckcfl-replay.c
替换掉tests目录中的dyckcfl-test.c文件
补丁文件详见这里
然后回到locksmith根目录,执行下面命令
./configure
make
到此,locksmith安装完毕
使用如下命令测试(选择一个源文件,.c结尾)
locksmith/cil/bin/cilly --merge *.c
相关文章推荐
- 收藏网站56
- 《深入浅出struts2》--第三章,动作与结果
- POJ 1944:Fiber Communications
- 物联网的发展前途
- spring定时器配置
- Cocoa深入学习:NSOperationQueue、NSRunLoop和线程安全
- ZOJ3690Choosing number
- hive-0.11.0安装方法详解
- SQL Server Profiler工具
- AppCanCSS背景图片的属性
- SGU 280.Trade centers(贪心)
- POJ 1944:Fiber Communications
- Android通过反射打造可以存储任何对象的万能SharedPreferences
- 并没有那个艰难,但也并没有那么简单
- POJ1094 Sorting It All Out 拓扑排序(深搜)
- ImageView 长按保存
- com.mysql.jdbc.exceptions.jdbc4.CommunicationsException: Communications link failure 解决办法
- 适配器模式
- linux 磁盘操作命令
- PC结束 Spark 二次开发 收到自己主动,并允许好友请求