Main Content

本页的翻译已过时。点击此处可查看最新英文版本。

Polyspace Code Prover 结果的完整列表

结果的说明和示例

Polyspace® Code Prover™ 结果是运行时错误检查、编码规则违规、代码复杂度指标或全局变量属性。每种类型的结果都由一个特定图标予以标识，如下所示：

  • 、、 和 - 运行时检查

  • 和 — 编码规则

  • 和 - 代码指标

  • 和 - 全局变量

要微调您的审查视图，请参阅Filter and Group Results in Polyspace Desktop User Interface。为了更好地理解您的结果，请参阅这些类别中的参考页。

类别