このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。

モデルのセキュリティで保護されたコーディング (CERT C、CWE および ISO/IEC TS 17961 標準) のチェック

コードが CERT C、CWE、および ISO/IEC TS 17961 (Embedded Coder) セキュア コーディング規約に準拠していることをチェックするには、モデル アドバイザーを開いて [タスク別] 、 [セキュリティで保護されたコーディングのモデリング ガイドライン (CERT C、CWE、ISO/IEC TS 17961)] でチェックを実行します。

• Check configuration parameters for secure coding standards

• Check for blocks not recommended for C/C++ production code deployment

• Check for blocks not recommended for secure coding standards

• Check usage of Assignment blocks

• Check for switch case expressions without a default case

• Check for bitwise operations on signed integers

• Check for equality and inequality operations on floating-point values

• Check integer word length

• Detect Dead Logic

• Detect Integer Overflow

• Detect Division by Zero

• Detect Out Of Bound Array Access

• Detect Specified Minimum and Maximum Value Violations

関連するトピック

• モデル アドバイザー チェックの実行と結果の確認