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

在 Polyspace 平台用户界面中审查 Polyspace Code Prover 结果

解释结果、添加审查信息、对结果进行过滤和分组、查看报告

Polyspace® 平台是一个集成环境，支持使用 Polyspace 产品对 C/C++ 代码进行静态分析和动态测试。您可以在 Polyspace 平台用户界面中打开 Code Prover 结果集（.pscp 文件）并执行以下操作：

  • 在仪表板中查看结果概述。

  • 查看结果的详细信息并导航到相应的源代码。

  • 向各个结果添加状态和严重性等审查信息。

类别