64、Polyspace使用中的常见问题及解决方法

Polyspace使用中的常见问题及解决方法

1. 识别Polyspace结果中某些文件或函数缺失的原因

1.1 问题描述

在结果列表窗格中，从（分组）列表中选择“文件”时，会出现部分源文件和源文件中的部分函数未显示的情况。

1.2 可能原因及解决方法

1.2.1 文件未验证

• 原因 ：如果源文件或函数不包含检查或编码规则违规等结果，结果列表窗格将不显示该文件或函数。若源文件或函数中的操作都不包含检查，则表明Polyspace未验证该源文件或函数。可通过仪表板窗格上的“验证覆盖的代码”图表检查所有文件和函数是否都已验证。
• 不同情况及解决办法 ：
  | 情况 | 解决办法 |
  | — | — |
  | 文件或函数不包含需要检查的操作，如函数仅调用其他函数，且被调用函数无导致调用函数出现非终止调用错误的错误 | 无需修复 |
  | 源文件中的所有函数未被调用、从不可达代码调用或在红色检查后调用 | 选择检测未调用的函数（-uncalled-function-checks），验证会在这些函数上放置灰色检查，函数和包含这些函数的源文件将出现在结果列表窗格中 |
  | 代码用于多任务处理，但未指定所有入口点 | 检查是否指定了所有入口点，可参考“Tasks (-entry-points)”了解如何指定入口点，以及“Configuring Polyspace Multitasking Analysis Manually”了解验证多任务代码的工作流程 |
  | 源文件中没有主函数，P