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

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

R2021b 以降、以下のモデル アドバイザーのチェックが CERT C のモデリング ガイドラインに準拠するようになりました。

• Check configuration parameters for MISRA C:2012

• Abs ブロックの使用をチェック

• Check usage of remainder and reciprocal operations

• Check usage of square root operations

• While Iterator ブロックの使用をチェック

• C/C++ 量産組み込み用コードに推奨されないブロックがないかチェック

• インデックス信号をもつブロックのデータ型をチェック

• Check usage of Reciprocal Sqrt blocks

• グラフィカル関数のグローバル変数をチェック

• Check usage of bit-shift operations

• データ型変換に対する安全性関連の最適化設定をチェック

• 除算演算の例外に対する安全性関連の最適化設定をチェック

• モデル ファイル名をチェック

• モデル オブジェクト名のチェック

関連するトピック

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