【问题标题】:Coverity Scan Setup?覆盖扫描设置?
【发布时间】:2013-07-19 21:59:06
【问题描述】:

Coverity 为免费和开源项目 (http://scan.coverity.com) 提供免费扫描服务。我正在尝试根据Download Coverity Scan Self-Build 配置一个扫描项目。从他们的网页:

对于每个构建:

  1. cd 到你的构建目录

  2. 可选:运行您不想分析的任何构建步骤 - 即 ./configure

  3. cov-build --dir cov-int [BUILD CMD 和 ARGS]

我有三个问题:

  • make 是否被视为用于这些目的的构建脚本?或者它是 [BUILD CMD 和 ARGS] 的一部分

  • 他们的构建从站是否包含诸如 Boost 之类的库?我们对库有一个[不想要的]依赖

  • 扫描服务需要什么配置?调试、测试还是发布?

【问题讨论】:

  • 这个问题似乎是题外话,因为它是关于使用在线服务,而不是关于编程。
  • 本主题是关于使用软件工具的。我不相信它与如何使用makegcc 的问题不同。另外,“Coverity”标签已经出现在 SO 中,所以其他人似乎也在使用该工具并询问有关它的问题。
  • 很抱歉关闭了这么久。出于某种原因,许多用户似乎错过了关于开发工具的问题非常适合 SO 的备忘录。
  • @jww:你好,我想学习使用coverity进行静态代码分析。如何下载该工具?有没有试用版?下载页面要求我与至少一个项目相关联。我已向项目管理员发送了一些访问请求。如果管理员接受我的请求,我可以下载该工具还是有其他方法?

标签: c++ c code-analysis coverity


【解决方案1】:
  • make 是否被视为用于这些目的的构建脚本?或者它是 [BUILD CMD 和 ARGS] 的一部分

是的!只需将make 用作BUILD CMD。或者antcmake,无论您的构建系统基于什么。

  • 他们的构建从站是否包含诸如 Boost 之类的库?我们对库有一个 [不想要的] 依赖

您可以配置此规则

  • 扫描服务需要什么配置?调试、测试还是发布?

没关系,你可以扫描任何你想要的配置。

【讨论】:

  • 感谢 g-makulik。有首选的 Linux 平台吗?例如,Ubuntu 12 是否比 Fedora 17 更好?还是 Red Hat 比 Fedora 更好用?
  • @noloader '有首选的 Linux 平台吗?' 我不知道。我们最近使用他们在工作中的试用过程评估了 Coverity,我在那里的平台(以及 Jenkins 构建)是 Suse 12.2,但我真的不认为,它对静态分析应该很重要(尽管你喜欢根据特定操作系统特定功能和 API 的使用制定特定规则。
猜你喜欢
  • 2022-11-08
  • 1970-01-01
  • 2019-09-21
  • 2016-04-03
  • 2017-03-15
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 2015-01-04
相关资源
最近更新 更多