【发布时间】：2014-04-28 07:27:10
【问题描述】：
我是静态分析工具的新手，我正在尝试构建一个简单的检查器。当我抛出 OUTPUT_ERROR 时，我还会获得更多带有“cond_true”等标签的详细信息。有没有办法可以存根这些标签并只打印我想看到的错误。
谢谢。
【问题讨论】：
【发布时间】：2014-04-28 07:27:10
【问题描述】：
首先你必须使用 cov-build 来创建中间文件。使用这个命令你必须指定 make (makefile)。之后，它将在您在 cov-build 命令中提到的位置创建发出文件。
然后你必须使用 cov-analyze 来创建分析报告。如果发现任何错误意味着它将在终端返回。
要显示 html 文件中的错误，您必须使用 cov-format-errors。此命令将创建错误目录。在该目录中，您可以找到分析代码的 html 统计报告..
示例命令：
（如果程序在同一个文件夹（bin），它会在当前目录（bin/emit）创建emit文件）。
cov-build --dir 。 gcc hi.c
（如果您想为单个 .c 文件构建）
或
cov-build --dir 。制作
（要使用make命令你必须创建makefile。（在bin中的vi makefile，编写你自己的关于编译将由cov-build构建的程序的脚本））
cov-analyze --dir .
cov-format-errors --dir .
【讨论】：