本页翻译不是最新的。点击此处可查看最新英文版本。

Polyspace Bug Finder 支持的必需且静态可执行的 CERT C 规则

CERT C 标准将合规的 C 代码必须遵循的规范归类为规则。这些规则也被认为是可通过静态分析来执行。Polyspace® 支持 120 条此类规范中的 120 条。

要查找 CERT C 规则列表：

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

  2. 切换到 CERT-C 选项卡。

  3. 过滤类型列，以仅显示规则。

另请参阅

主题