PolyspaceBug Finder でサポートされている CERT C の必要ルールおよび静的に強制可能なルール

CERT C 標準では、準拠した C コードが従う必要があるガイドラインが "ルール" として分類されます。このような "ルール" はまた、静的解析により強制可能であると見なされます。Polyspace® は、このようなガイドライン 120 件のうち 120 件をサポートしています。

CERT C ルールのリストを確認するには、次を行います。

  1. ファイル polyspaceroot\polyspace\resources\Polyspace R2025b Results List.xlsx を見つけます。ここで、polyspaceroot は Polyspace インストール フォルダーです。既定のインストール フォルダーは C:\Program Files\Polyspace\R2025b です。

  2. [CERT-C] タブに切り替えます。

  3. 列 [タイプ] にフィルターを適用し、[ルール] のみを表示します。

参考

トピック