主要内容

解释错误发现者导致Polyspace桌面用户界面

这个主题展示了如何检查错误搜索结果的用户界面Polyspace桌面产品。下载188bet金宝搏

当你打开的结果Polyspace®错误发现者™分析,你看到一列结果列表窗格。结果包括缺陷、编码规则违反或代码度量。

你可以首先缩小你审查的重点:

  • 结果列表列上使用过滤器来缩小。例如,您可以专注于高影响力的缺陷。

  • 家庭组织结果文件或结果。使用图标上方的列表。

一旦你缩小列表,你就可以开始评估个人的结果。这个主题描述了如何审查结果。

开始你的审查,选择列表中的一个结果。

解释结果的细节信息

解释信息

第一步是理解是错误的。读的消息结果细节面板和相关代码源窗格。

寻求更多的资源帮助

有时,你需要额外的帮助对于某些结果。单击图标来打开一个帮助页面选择的结果。看到代码示例说明结果。检查外部标准如CWE或CERT-C提供额外的理由解决这个问题。

在这一点上,你可能会准备好决定是否修复这个问题。一旦你确定一个解决,它可能有助于审查所有类型在一起的结果。

找到根本原因的结果

有时,问题的根源可能是远离实际位置显示结果。例如,一个变量,你读可能non-initialized因为初始化是不可到达的。缺陷显示当你读变量,但问题的根源可能是以前的如果或而条件,总是错误的。

导航到相关事件

通常,结果细节窗格显示一个序列的事件导致的结果。的源窗格中也强调了这些事件。

在上面的事件回溯,这个序列所示:

  1. 一个变量价值是宣布。

  2. 执行路径绕过一个如果声明。这些信息可能是如果内部的变量初始化相关如果块。

  3. 当前缺陷的位置:Non-initialized变量

通常,回溯显示控制流的主要点:进入或绕过条件语句或循环,进入一个函数,等等。为特定的缺陷,回溯了其他类型的事件相关的缺陷。例如,对于一个声明不匹配缺陷,回溯与冲突的声明显示了两个位置。

创建自己的导航路径

如果事件回溯不可用,使用其他导航工具来跟踪自己的代码路径。

在你开始之前浏览路径在你的代码中,问这个问题:我在找什么?根据你的答案,选择合适的导航工具。例如:

  • 调查一个Non-initialized变量缺陷,你可能想要确保变量没有初始化。寻找以前的实例变量,在源窗格中,右键单击变量和选择搜索所有引用。另外,双击变量。这些选项只显示一个特定的实例变量,而不是在其他范围具有相同名称的其他变量。

  • 调查违反MISRA - C: 2012规则17.7:

    一个函数返回的值非void返回类型应使用。
    您可能想要导航从函数调用的函数定义。右键单击并选择函数去定义。

你在远离当前的结果,使用后图标结果细节窗格中回来。

如果你点击一个源代码标记包含一个结果,前面的选择的结果结果列表和细节结果细节面板不改变。你可以继续导致结果列表和细节在源代码中导航时固定。有时,您可能希望看到结果关联到一个令牌。更新结果选择和细节,Ctrl点击标记或右键单击并选择在这个位置选择的结果。

导航在单独的窗口

如果检查结果需要进一步导航源代码,您可以创建一个复制源代码窗口,关注结果,而你在原始源代码窗口中浏览。

右键单击源窗格中,选择创建重复的代码窗口。右键单击选项卡显示重复的文件名(结束产卵1),并选择新的垂直组。

在复制文件窗口中执行导航步骤虽然缺陷仍然出现在原始文件窗口。调查结束后,关闭复制窗口。

相关的话题