在Polyspace桌面用户界面- MATLAB & Simulink中解释Bug查找结果

在Polyspace桌面用户界面中解释Bug查找结果

本主题展示如何在Polyspace桌面产品的用户界面中查看Bug Finder结果。2022世界杯八强谁会赢？

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

首先，你可以缩小回顾的重点:

一旦你缩小了列表，你就可以开始检查单个的结果了。介绍检查结果的操作步骤。

要开始检查，请在列表中选择一个结果。

第一步是了解问题出在哪里。阅读上面的信息结果细节窗格上的相关代码行源窗格。

有时，您需要额外的帮助来获得某些结果。单击图标以打开所选结果的帮助页。参见演示结果的代码示例。检查外部标准，如CWE或CERT-C，它们为解决问题提供了额外的理由。

此时，您可能已经准备好决定是否修复该问题了。一旦确定了一个修复，一起检查该类型的所有结果可能会有所帮助。

有时，根本原因可能与显示结果的实际位置相差甚远。例如，您读取的变量可能没有初始化，因为初始化不可达。缺陷在读取变量时显示出来，但根本原因可能是先前的如果或而条件总是假的。

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

在上面的事件回溯中，如下顺序:

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

如果事件回溯不可用，请使用其他导航工具在代码中跟踪您自己的路径。

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

调查一个Non-initialized变量缺陷时，您可能需要确保变量根本没有初始化。方法查找该变量的以前实例源窗格中，右键单击该变量并选择搜寻所有参考资料．或者，双击该变量。这些选项只显示特定变量的实例，而不显示其他作用域中同名的其他变量。
调查…的违反MISRA C:2012规则17.7：
```
由非void返回类型应使用的函数返回的值。
```
您可能希望从函数调用导航到函数定义。右键单击函数并选择去定义．