コーディング規約

コーディングルールチェッカーの説明と例

Polyspace^® Bug Finder™ は、複数の異なるコーディングルールセットとカスタムコーディングルールに対してコードをチェックできます。コーディングルールのチェックを開始するには、コーディング規約違反のチェックおよびレビューを参照してください。さまざまな規約に対する Polyspace の対応範囲を確認するには、Polyspace でのコーディング規約のサポートを参照してください。

コーディング規約への準拠のチェック

カテゴリ

MISRA C:2004 ルール
Polyspace でサポートされている MISRA C^®:2004 ガイドラインのリストと説明
MISRA C:2012 命令およびルール
Polyspace でサポートされている MISRA C:2012 コーディングガイドラインのリストと説明
MISRA C:2023 命令およびルール
Polyspace でサポートされている MISRA^® C:2023 命令およびルールのリストと説明
CERT C ルールと推奨事項
Polyspace でサポートされる CERT C 標準ルールと推奨事項のリストと説明
ISO/IEC TS 17961 ルール
Polyspace でサポートされる ISO/IEC TS 17961 セキュリティ標準ルールのリストと説明
MISRA C++:2008 ルール
Polyspace でサポートされている MISRA C++:2008 ガイドラインのリストと説明
JSF C++ ルール
Polyspace でサポートされている JSF^® C++ ガイドラインのリストと説明
AUTOSAR C++14 ルール
Polyspace でサポートされている AUTOSAR C++14 ルールのリストと説明
CERT C++ ルール
Polyspace でサポートされている CERT C++ 標準ルールのリストと説明
共通脆弱性タイプ一覧 (CWE)
Polyspace でサポートされる CWE セキュリティ標準ルールのリストと説明
カスタムコーディングルール
カスタム命名規則のリストと説明
ガイドライン
ガイドラインチェッカーのリストと説明