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