Main Content

本页翻译不是最新的。点击此处可查看最新英文版本。

Polyspace Code Prover 结果的完整列表

结果的描述和示例

Polyspace® Code Prover™ 结果是运行时错误检查、堆栈使用量度量或全局变量属性。每种类型的结果都由一个特定图标予以标识，如下所示：

  • 、、 和 - 运行时检查

  • 和 - 代码度量

  • 和 - 全局变量

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

类别

  • 运行时检查
    运行时错误检查的说明和示例
  • 编码标准
    将用于检查编码标准合规性的工作流迁移到 Bug Finder。请参阅 Bug Finder 文档中的编码规则检查项的说明和示例
  • 代码度量
    代码度量的描述和示例
  • 全局变量
    全局变量类别的描述和示例
  • 规范
    可以使用 Code Prover 检查的外部规范的描述和示例
  • Code Prover 分析假设
    代码验证期间使用的假设