このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
コーディング規約
コーディング規約への準拠をチェックするワークフローを Bug Finder に移行してください。コーディング ルール チェッカーの説明と例については、Bug Finder のドキュメントを参照
コーディング規約および命名規則への準拠をチェックします。
メモ
将来のリリースでは、Code Prover で外部コーディング規約への準拠のチェックとコード メトリクスの計算がサポートされることはなくなる予定です。これらのワークフローについては Bug Finder に移行してください。コーディング規約およびコード メトリクスをチェックする Code Prover ワークフローの Bug Finder への移行を参照してください。
カテゴリ
- カスタム コーディング ルール
カスタム命名規則の説明とリスト
- MISRA C:2004 ルール
Polyspace® でサポートされる MISRA C:2004 ガイドラインの説明とリスト
- MISRA C:2012 命令およびルール
Polyspace でサポートされる MISRA C:2012 ガイドラインの説明と例
- MISRA C++:2008 ルール
Polyspace でサポートされている MISRA® C++:2008 ガイドラインの説明と例
- JSF C++ ルール
Polyspace でサポートされている JSF® C++ ガイドラインの説明とリスト