静态数据竞争检测工具之RELAY-安装和使用
来源:互联网 发布:舰队collection 知乎 编辑:程序博客网 时间:2024/04/30 15:50
RELAY同样也是基于中间语言编写的静态数据竞争检测工具
安装RELAY之前确保Ocaml安装完毕,可参考之前的文章
http://blog.csdn.net/yangzhen92/article/details/46980511
下载RELAY,可参考这里,选择0.10版本,解压
进入cil目录,执行下面操作
./configure
make
make check
然后回到relay根目录,执行make操作
上述步骤完成之后,relay安装成功
进入racetest目录,执行make renew_small; make 命令
执行成功就能够看到测试结果
racetest中的测试用例的整体结果都保存在out目录中
而如果想要查看每一个测试用例的详细输出信息,则进入相关的子目录,以thread_tests为例
子目录中包含gcc-log.txt文件,内容如下
cd test_dir
duppy -c threads2.c -I ../../include
cd ../test_dir
duppy -c threads.c -I ../../include
其中每个文件表示需要待测试源文件
进入ciltrees目录,
这里可以发现有两个warnings.xml文件,都保存着数据竞争相关的信息
更进一步的使用RELAY,可参考README文件
0 0
- 静态数据竞争检测工具之RELAY-安装和使用
- 静态数据竞争检测工具之LOCKSMITH-安装和使用
- linux 静态代码检测工具valgrind的安装及使用
- ESlint静态代码检测工具安装
- linux性能数据检测工具nmon的安装及使用
- 在 Linux 上安装和使用恶意软件检测工具 LMD
- PHP数据库连接池SQL Relay安装使用
- PHP数据库连接池SQL Relay安装使用
- linux 网络检测工具使用安装
- Sogou输入法使用的代码静态检测工具
- 硬盘检测工具Smartmontools安装、部署、使用
- 动态数据竞争验证和检测方法
- cilk之User Guide学习笔记(5)数据竞争加锁和reducers
- Unix/Linux下C程序内存泄露检测工具Valgrind的安装和使用
- Linux恶意软件检测工具和杀毒引擎ClamAV安装使用教程
- 代码检测工具(四)JAVA代码静态检测之PMD
- Facebook 静态检测工具 Infer
- android静态检测工具
- 台大林轩田·机器学习技法记要
- QT时间日期
- UEditor 富文本向.net后台传值问题解决方案
- 牛客网校招风暴周算法题-回文数列
- AlertDialog的自定义
- 静态数据竞争检测工具之RELAY-安装和使用
- python 标识符
- 剑指offer——链表中环的入口节点
- 【译】唯快不破:Web 应用的 13 个优化步骤
- java 类反射机制
- 单向链表的创建、节点删除、链表输出、翻转(写法参考计蒜客数据结构课程)
- 提高项目10-编制三角函数表
- 高德地图——查询天气
- ASP.NET解决客户端服务器ID不一致-ClientID与ClientIDMode