静态数据竞争检测工具之LOCKSMITH-安装和使用
来源:互联网 发布:装修平面图设计软件 编辑:程序博客网 时间:2024/05/16 06:28
静态数据竞争检测工具都是基于中间语言开发的,在安装之前必须要先安装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
0 0
- 静态数据竞争检测工具之LOCKSMITH-安装和使用
- 静态数据竞争检测工具之RELAY-安装和使用
- linux 静态代码检测工具valgrind的安装及使用
- ESlint静态代码检测工具安装
- linux性能数据检测工具nmon的安装及使用
- 在 Linux 上安装和使用恶意软件检测工具 LMD
- linux 网络检测工具使用安装
- Sogou输入法使用的代码静态检测工具
- 硬盘检测工具Smartmontools安装、部署、使用
- 动态数据竞争验证和检测方法
- cilk之User Guide学习笔记(5)数据竞争加锁和reducers
- Unix/Linux下C程序内存泄露检测工具Valgrind的安装和使用
- Linux恶意软件检测工具和杀毒引擎ClamAV安装使用教程
- 代码检测工具(四)JAVA代码静态检测之PMD
- Facebook 静态检测工具 Infer
- android静态检测工具
- 静态代码检测工具Cpplint
- 静态检测工具-cppcheck
- android工程adt无法启动的问题
- 学生通讯录
- Map容器的使用总结
- Sublime Text 3插件安装方法
- iar项目目录说明
- 静态数据竞争检测工具之LOCKSMITH-安装和使用
- PCA的数学原理
- 如果生活可以说到做到,谁都是任何人
- Cannot refer to a non-final variable file inside an inner class defined in a different method
- 利用PEB结构体实现反调试
- 网络带宽实时监控工具bmon
- destoon 复制商城模块
- 让Bootstrap 3兼容IE8浏览器
- C# NetCut / NetworkCut