Polyspace as You Code 分析中停用的检查项

Polyspace® 会在 IDE 中当前处于活动状态的文件中查找 Bug 及编码规则违规。如果查明某个问题需要分析多个源文件，则根据设计，该分析无法标记该问题。以下是帮助您制定检查项选择策略的提示：

  • 在 Polyspace as You Code 中，通常会在多文件上下文中产生大部分结果的检查项将完全被停用。

  • 某些编码标准检查项同时涉及单文件和多文件问题。这些检查项不会被停用，但与完整的集成分析相比，其检查范围有所缩减，在 Polyspace as You Code 中显示的问题会更少。

您可以通过使用 Polyspace Bug Finder™ 或 Polyspace Bug Finder Server™ 对工程运行集成分析来检测这些多文件问题。

要查找 Polyspace as You Code 分析中停用的缺陷检查项和编码规则检查项，请执行以下操作：

  1. 找到文件 polyspaceroot\polyspace\resources\Polyspace R2025b Results List.xlsx。在这里，polyspaceroot 是 Polyspace 的安装文件夹。默认的安装文件夹是 C:\Program Files\Polyspace\R2025b。

  2. 在各个选项卡中查找编码规则和缺陷检查项。Bug Finder 缺陷检查项位于 Bug Finder 选项卡中，而编码规则检查项则位于其所属标准对应的选项卡中。

  3. 对于该检查项，请在 Available with PaYC 列中查找对应的值。在 Polyspace as You Code 中被停用的检查项在此列中的值为 no。

如果您在 Polyspace as You Code IDE 扩展设置中（或通过使用检查项激活文件 (-checkers-activation-file) (Polyspace Bug Finder) 选项）启用了已被停用的检查项，则它们在分析过程中仍会在内部处于停用状态。在 Polyspace as You Code 分析完成后，不会显示与这些检查项相对应的任何结果。

另请参阅

主题