文件名称:
bcov:静态仪器工具,可进行有效的二进制级覆盖率分析-源码
开发工具:
文件大小: 438kb
下载次数: 0
上传时间: 2021-03-20
详细说明:bcov
用于高效二进制级别覆盖率分析的工具。 bcov在没有编译器支持的情况下静态地检测x86-64 ELF二进制文件。它具有探针修剪,精确的CFG分析和复杂的仪器技术的功能。我们总结了本研究在2分钟预告片。
资源
有关详细信息,请参见我们的ESEC / FSE'20。您可以找到略微扩展的预印本。
我们在llvm-dev邮件列表上有一篇。它简要介绍了bcov并讨论了潜在的未来工作。
这篇博客详细介绍了剥离二进制文件中功能定义的可用性。
您可以找到我们的ESEC / FSE'20演讲。幻灯片(带成绩单)也。
我们提供使用bcov修补的二进制示例集。但是,可以在我们的档案找到完整的基准测试集。
软件先决条件
以下软件包必须可用:
分支next提交#c3b4ce1901
分支master提交#536c4e77c4
这两个框架的更高版本原则上都应该可以工作,但尚未经过测试。脚本install.s
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台,提供交流渠道,下载内容来自于网络,除下载问题外,其它问题请自行百度。
- 本站已设置防盗链,请勿用迅雷、QQ旋风等多线程下载软件下载资源,下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载,请稍后再次尝试;或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎,请到消费记录里找到下载记录反馈给我们,经确认后退回积分.
- 如下载前有疑问,可以通过点击"提供者"的名字,查看对方的联系方式,联系对方咨询.