当您打开一个Polyspace结果®分析,你看到的缺陷的平面列表(错误查找程序),运行时检查(代码证明者),编码规则违反或其他结果。要组织您的评论,您可以缩小的文件或结果类型列表或群组结果。
你可以使用过滤的一些方法是:
您可以显示某种类型的缺陷或只运行时检查。
例如,在错误Finder中,可以只显示高影响力的缺陷。看到按影响对缺陷进行分类(Polyspace错误查找程序)。
您可以显示自上次分析只新的搜索结果。
您只能显示未经验证的结果。
有关调整信息,请参阅通过错误修复或辩护处理Polyspace结果。
可以使用。上的列进行筛选结果列表窗格。点击列标题图标,查看可用的过滤器。有关列的信息,请参阅:
自上次分析后发现结果显示有星号(*
)旁边。只看到这些结果,请点击新按钮。
如果不通过一列的确切内容要过滤器,你可以使用自定义过滤器来代替。例如,你想筛选出特定的文件夹的子文件夹。而不是在过滤掉每个子文件夹的文件夹列,选择自定义从过滤器下拉菜单。指定的根文件夹名称不包含
过滤。
您可以使用通配符自定义过滤器。通配符?
表示0或1字符和*
表示0个或多个字符。
如果以这种方式应用滤镜,他们结转到下一个分析。您还可以命名并保存的过滤器的子集在多个项目中使用。要应用命名集的过滤器,拿起从该过滤器集所有结果名单。要创建这个列表中的新条目,选择工具>首选项并在。上创建自己的一组过滤器审查范围标签。
您可以点击图仪表板窗格来筛选结果。例如:
若要在“缺陷查找程序”中仅查看影响较大的缺陷,请单击“冲击缺陷分布图表。
若要在“代码验证程序”中只看到红色检查,请单击“检查分布图表。
要再次查看所有结果,请单击链接查看在此范围内的所有结果。
在代码验证程序中,橙色源可能导致多个橙色检查。您可以显示来自同一来源的所有橙色检查,并一起检查它们。
例如,在这段代码中,未知值输入
可能导致溢出和除0。的变量输入
是导致两次橙色检查的橙色源。
空隙FUNC(INT输入){INT VAL1;双VAL2;VAL1 =输入++;VAL2 = 1.0 /输入;}
首先,选择窗口>显示/隐藏查看>橙来源。你可以看到橙色来源的列表。选择一个橙色源来查看所有来自这个源的橙色检查。
在结果列表头,你看到的格式显示的结果数显示X
/ÿ
举例来说,显示100/250。点击下拉这个数字旁边看到当前活动的过滤器。您也可以从这个下拉菜单(全部清除有源滤波器除了命名的一组滤镜,您在挑所有结果下拉)。
你看到的过滤器这样的信息:
审查范围:如果您从。中选择一个指定的过滤器集所有结果下拉菜单,你可以看到这个过滤器。
新结果:如果您使用新按钮,只看到新的成果,看到已启用此过滤器。
过滤后的结果:你看到在Polyspace用户界面过滤结果的数目(通过任何手段:结果列表中,仪表板或橙色源)。
隐藏的结果:您可以看到使用代码注释隐藏的结果数量。要显示这些结果,清除隐藏结果代码有道理。
对于通过代码注释上隐藏结果的信息,请参阅通过错误修复或辩护处理Polyspace结果。
带有活动过滤器的列:你看在列结果列表窗格(或对应于图表的列仪表板用于过滤结果的窗格。
在结果列表窗格中,从列表中选择一个选项,例如,通过文件分组。或者,您可以单击列标题栏的内容按字母顺序排序。
用于分组的可用选项如下:
没有一个:显示结果不进行分组。
家庭:显示按结果类型分组的结果。
结果按类型组织:检查(代码验证器)、缺陷(Bug查找器)、全局变量(代码验证器)、编码规则违反、代码度量。在每个类型中,它们被进一步分组。
文件:显示结果按文件进行分组。
在每个文件中,结果按功能分组。与特定函数不相关的结果分组在下面文件范围。
在代码证明器,文件或函数的名称显示文件或功能,在最坏的检查颜色。检查颜色的严重性顺序递减:红色,灰色,橙色,绿色。
类(只适用于c++代码):显示按类分组的结果。
在每一类中,结果是由方法分组。不与特定的类相关联的结果进行分组全局范围。