的完整列表Polyspace错误发现者结果
缺陷的描述和示例,支持的编码规则和代码度量
一个Polyspace®错误发现者™结果是一个错误,一个编码规则遵从性错误,或一个计算的度量。每种类型的结果由下列图标之一标识:
——缺陷
而且——编码规则
——代码度量
要调整您的评论,请参见在Polyspace桌面用户界面中筛选和分组结果.为了更好地理解您的结果,请参考这些类别中的参考页面。
类别
- 缺陷
缺陷的描述和例子 - 编码标准
编码规则检查器的描述和示例 - 代码度量
代码度量的描述和示例 - Bug查找器分析假设
在代码分析期间使用的假设