主要内容
的完整列表Polyspace代码验证结果
结果的描述和例子
一个Polyspace®代码验证™结果是运行时错误检查、编码规则违反、代码复杂性度量或全局变量属性。每种类型的结果都由下列图标之一标识:
，
，
,
——运行时检查
和
——编码规则
和
——代码度量
和
——全局变量
要微调你的评论，请看Polyspace桌面用户界面中的过滤和组结果．为了更好地理解您的结果，请参考这些类别中的参考页。
你也可以从以下列表中选择一个网站:
