Main Content

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

Polyspace Code Prover 结果的完整列表

结果的说明和示例

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

  • - 运行时检查

  • — 编码规则

  • - 代码指标

  • - 全局变量

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

类别