Polyspace Code Prover 结果的完整列表
结果的描述和示例
Polyspace® Code Prover™ 结果是运行时错误检查、堆栈使用量度量或全局变量属性。每种类型的结果都由一个特定图标予以标识,如下所示:
、
、
和
- 运行时检查
和
- 代码度量
和
- 全局变量
要微调您的审查视图,请参阅Filter and Group Results in Polyspace Desktop User Interface。为了更好地理解您的结果,请参阅这些类别中的参考页。