coverity-prevent - C 程序的 Coverity 静态分析

Question

我是静态分析工具的新手，我正在尝试构建一个简单的检查器。当我抛出 OUTPUT_ERROR 时，我还会获得更多带有“cond_true”等标签的详细信息。有没有办法可以存根这些标签并只打印我想看到的错误。

谢谢。

Answer 1

首先，您必须使用 cov-build 创建中间文件。使用此命令，您必须指定 make（makefile）。之后，它将在您在 cov-build 命令中提到的位置创建发射文件。

然后您必须使用 cov-analyze 创建分析报告。如果发现任何错误意味着它将在终端返回。

要显示 html 文件中的错误，您必须使用 cov-format-errors。此命令将创建错误目录。在该目录中，您可以找到分析代码的 html 统计报告。

示例命令：

（如果程序在同一个文件夹（bin）中，它将在当前目录（bin/emit）中创建发射文件）。

冠状病毒构建 --dir 。gcc hi.c

（如果你想为单个 .c 文件构建）

或者

冠状病毒构建 --dir 。制作

（使用make命令你必须创建makefile。（在bin中的vi makefile，编写你自己的关于编译将由cov-build构建的程序的脚本））

冠状病毒分析 --dir 。

冠状病毒格式错误 --dir 。