主要内容

解释Bug Finder导致PolySpace访问Web界面

本主题显示如何查看PolySpace Access Web界面的错误查找器。对于PolySpace桌面产品的用户界面中的类似工作流程,请参阅下载188bet金宝搏解释Bug Finder导致PolySpace桌面用户界面(Polyspace Bug Finder)。看看如何在IDE中查看PolySpace的结果,请参阅在IDE和审核结果中运行PolySpace作为您的代码

当您打开Bug Finder分析的结果时审查PolySpace访问的视图,您可以看到列表结果清单窗格。结果包括缺陷,编码规则违规或代码指标。

您可以首先缩小您的评论的重点:

  • 在工具串中使用过滤器缩小列表。例如,您可以专注于高冲击缺陷。

  • 单击列标题中的列标题结果清单根据该列的内容对列表进行排序。例如,您可以排序团体或者文件

缩小并排序列表后,您可以开始查看个人结果。本主题介绍如何查看结果。

要开始查看,请在列表中选择结果。

解释结果细节消息

解释消息

第一步是了解有什么问题。阅读上的消息结果细节窗格和相关的代码线源代码窗格。

寻求额外的资源以获取帮助

有时,您需要额外的帮助来实现某些结果。点击图标要为所选结果打开帮助页面。请参见说明结果的代码示例。检查外部标准,如CERT-C,为修复问题提供额外的基本原理。可用时,单击图标以查看缺陷的修复建议。

此时,您可以准备好决定是否解决问题。一旦确定了修复,它可能有助于查看该类型的所有结果。

找到结果的根本原因

有时,根本原因可能远离显示结果的实际位置。例如,您读取的变量可能是未初始化的,因为初始化无法访问。读取变量时显示缺陷,但根本原因可能是之前的如果或者尽管总是假的条件。

导航到相关事件

通常是结果细节窗格显示导致结果的一系列事件序列。这源代码窗格还突出了这些事件。

在上面的事件回溯中,显示了以下序列:

  1. 一个变量价值被宣布为。

  2. 执行路径绕过一个如果陈述。如果变量在内部初始化,则此信息可能是相关的如果堵塞。

  3. 当前缺陷的位置:非初始化变量

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

创建自己的导航路径

如果未使用事件回溯,请使用其他导航工具通过代码跟踪自己的路径。

在您开始通过您的代码中的路线导航之前,请询问问题:我在找什么?根据您的答案,选择适当的导航工具。例如:

  • 调查A.非初始化变量缺陷,您可能希望确保不会初始化变量。要查找以前的变量实例,请参阅源代码窗格,右键单击变量并选择搜索所有参考。此选项仅列出特定变量的实例,而不是其他范围内具有相同名称的其他变量。

  • 调查违反的Misra C:2012规则17.7

    应使用具有非void返回类型的函数返回的值。
    您可能希望从函数调用导航到函数定义。右键单击该函数并选择转到定义

导航远离当前结果后,使用icon上的图标结果细节窗格回来。

选择不同的结果源代码窗格,Ctrl.- 单击结果或右键单击并选择在此位置选择结果。这结果详情窗格更新,但您选择的结果不会突出显示结果清单窗格。单击结果结果清单更新结果详情源代码窗格。

相关话题