的完整列表Polyspace代码验证结果
描述和结果的例子
一个Polyspace®代码验证™结果是一个运行时错误检查,堆栈使用公制,或一个全局变量属性。每种类型的结果是被一个下面的图标:
,
,
,
——运行时检查
和
——代码度量
和
——全局变量
优化你的评论,看到的过滤和组结果在Polyspace桌面用户界面。为了更好地理解你的结果,这些类别参考参考页。
一个Polyspace®代码验证™结果是一个运行时错误检查,堆栈使用公制,或一个全局变量属性。每种类型的结果是被一个下面的图标:
,
,
,
——运行时检查
和
——代码度量
和
——全局变量
优化你的评论,看到的过滤和组结果在Polyspace桌面用户界面。为了更好地理解你的结果,这些类别参考参考页。
