解释Polyspace Bug的搜索访问结果 - MATLAB＆Simulink的金宝app - 金宝app,下载188bet金宝搏,金宝搏官方网站

译Polyspace查找错误访问结果

当您打开在一个错误查找分析的结果评论鉴于Polyspace访问的，你看到的名单结果列表窗格。结果包括缺陷，编码规则违反或代码度量。

你可以先缩小您的评论的焦点：

一旦你缩小和排序列表中，您可以开始查看各自的结果。本主题介绍如何查看结果。

要开始您的评论，在列表中选择的结果。

第一步是要了解什么是错的。阅读上的消息结果详情窗格和代码的相关行源代码窗格。

有时候，你需要一定的成果更多帮助。点击图标，打开一个帮助页面中选择的结果。见代码示例示出的结果。检查外部标准，如CERT-C提供用于固定问题的其他理由。当可用，点击图标可查看该缺陷修复建议。

在这一点上，你可能准备来决定是否修复该问题或没有。一旦你确定一个解决方法，它可以帮助审查该类型的所有结果放在一起。

有时，根本原因可能会从显示的结果实际位置远。举例来说，一个变量，你看了可能会不初始化，因为初始化不可达。当你阅读的变量缺陷显示，但根本原因也许是以前的如果要么而条件始终为false。

通常情况下，结果详情窗格显示活动的一个序列导致的结果。该源代码窗格还列出了这些事件。

在上面的事件追踪中，该序列被示出：

典型地，所述回溯示出的控制流程要点：进入或绕过条件语句或循环，进入一个功能，等等。对于具体的缺陷，回溯显示其他种类有关的缺陷的事件。例如，对于一个宣言不匹配缺陷，回溯示出了具有相互矛盾的声明的两个位置。

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

你开始通过在你的代码路径导航之前，提出这样的问题：我该找什么？根据您的回答，选择合适的导航工具。例如：

为了研究未初始化变量缺陷，你可能想确保变量没有在所有的初始化。为了寻找变量的以前的实例，在源代码窗格中，右键单击变量并选择搜索所有引用。此选项仅列出特定变量的实例，并与其他领域相同的名字而不是其他的变量。
调查违反MISRA C :: 2012年规则17.7：
```
应使用由具有非void返回类型的函数返回的值。
```
你可能想从一个函数调用函数定义导航。用鼠标右键单击该函数并选择转到定义。

当您从当前结果导航时，可以使用上的图标结果详情窗格回来。

要选择从一个不同的结果源代码窗格中，按Ctrl- 单击结果或右键单击并选择选择结果在这个位置。该结果详细窗格更新，但是您选择的结果不会在突出结果列表窗格。点击该结果结果列表更新结果详细和源代码窗格。