CERT C、SWE および ISO/IEC TS 17961 コーディング規約用のモデル アドバイザー チェック

これらのチェックを使用して、Embedded Coder^® で生成されたコードが、セキュリティで保護されたコーディング標準 CERT C、CWE、および ISO/IEC TS 17961 (Embedded Coder) に準拠していることを検証します。次のモデル アドバイザー チェックでは、CERT C、CWE および ISO/IEC TS 17961 (Embedded Coder) セキュア コーディング規約準拠のコードを生成する可能性が向上しています。

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

これらのチェックの実行には Embedded Coder または Simulink^® Check™ のいずれかが必要です。一部のチェックでは Simulink Design Verifier™ が必要です。

セキュア コーディング規約			モデル アドバイザー チェック	チェック ID
CERT C	CWE	ISO/IEC TS 17961
✔	✔	✔	セキュリティで保護されたコーディング標準のコンフィギュレーション パラメーターをチェック	mathworks.security.CodeGenSettings
✔	✔	✔	C/C++ 量産コード展開に推奨されないブロックがないかチェック	mathworks.codegen.PCGSupport
✔	✔	✔	セキュリティで保護されたコーディング標準に推奨されないブロックをチェック	mathworks.security.BlockSupport
✔	✔	✔	Assignment ブロックの使用をチェック	mathworks.misra.AssignmentBlocks
✔	✔	✔	default ケースをもたない switch case 式のチェック	mathworks.misra.SwitchDefault
✔	✔	✔	符号付き整数のビット演算のチェック	mathworks.misra.CompliantCGIRConstructions
✔	✔	✔	浮動小数点値の等式演算と不等式演算のチェック	mathworks.misra.CompareFloatEquality
✔	✔	✔	整数の語長をチェック	mathworks.misra.IntegerWordLengths
✔	✔	✔	デッド ロジックの検出	mathworks.sldv.deadlogic
✔	✔	✔	整数オーバーフローの検出	mathworks.sldv.integeroverflow
✔	✔	✔	ゼロ除算の検出	mathworks.sldv.divbyzero
✔	✔	✔	範囲外配列アクセスの検出	mathworks.sldv.arraybounds
✔	✔	✔	指定された最小値と最大値の違反の検出	mathworks.sldv.minmax
✔	N/A	N/A	MISRA C:2012 のコンフィギュレーション パラメーターをチェック	mathworks.misra.CodeGenSettings
✔	N/A	N/A	Check usage of Abs blocks	mathworks.hism.hisl_0001
✔	N/A	N/A	Check usage of remainder and reciprocal operations	mathworks.sldv.hism.hisl_0002
✔	N/A	N/A	Check usage of square root operations	mathworks.hism.hisl_0003
✔	N/A	N/A	Check usage of While Iterator blocks	mathworks.hism.hisl_0006
✔	N/A	N/A	Check data types for blocks with index signals	mathworks.hism.hisl_0022
✔	N/A	N/A	Check usage of Reciprocal Sqrt blocks	mathworks.hism.hisl_0028
✔	N/A	N/A	Check global variables in graphical functions	mathworks.hism.hisl_0062
✔	N/A	N/A	Check usage of bit-shift operations	mathworks.hism.hisl_0073
✔	N/A	N/A	Check safety-related optimization settings for data type conversions	mathworks.hism.hisl_0053
✔	N/A	N/A	Check safety-related optimization settings for division arithmetic exceptions	mathworks.hism.hisl_0054
✔	N/A	N/A	Check model file name	mathworks.hism.hisl_0031
✔	N/A	N/A	Check model object names	mathworks.hism.hisl_0032