Polyspace Code Prover 结果
结果的描述和示例
Polyspace® Code Prover™ 对 C/C++ 代码进行详尽检查，以检测是否存在运行时错误，查明全局变量使用情况或栈使用情况，并以结果列表形式报告所有执行的检查。结果颜色和图标取决于检查是通过、失败还是结果仍不确定。
有关结果颜色和图标的详细信息，请参阅Code Prover 结果和源代码颜色。
有关每种结果类型的更多详细信息，请选择以下类别之一。
类别
- 运行时检查
运行时错误检查的描述和示例
- 编码标准
将用于检查编码标准合规性的工作流迁移到 Bug Finder。请参阅 Bug Finder 文档中的编码规则检查项的描述和示例
- 代码度量
代码度量的描述和示例
- 全局变量
全局变量类别的描述和示例
- Code Prover 分析假设
代码验证期间使用的假设
