主要内容
波尔盖斯代码箴言结果
结果的描述和例子
一种波尔盖斯®代码Prover™结果是运行时错误检查，编码规则违规，代码复杂度度量或全局变量属性。每种结果由以下图标之一识别：
那
那
， 和
- 运行时间检查
和
- 编码规则
和
- 代码指标
和
- 全局变量
要微调您的评论，请参阅过滤器和组导致PolySpace桌面用户界面。为了更好地了解您的结果，请参阅这些类别中的参考页面。
您还可以从以下列表中选择一个网站：
