Polyspace Access Web 界面中的配置设置

使用的配置窗格显示已启用的用于在当前所选工程中生成结果的选项和检查项。选项选项卡显示用户指定的选项和默认启用的选项。

您可以转至窗口 > 使用的配置来打开使用的配置窗格。

The Configuration Used pane shows the analysis options used to generate the current analysis results.

点击检查项以查看针对以下内容启用了哪些检查项：

如果未启用编码标准或自定义编码规则，则检查项不适用于 Code Prover 工程。