範囲外配列アクセスの検出

チェック ID: mathworks.sldv.arraybounds

配列のインデックスの範囲外にアクセスする操作を検出します

このチェックは Simulink Design Verifier で、配列の範囲外へのアクセスを行うインスタンスを検出します。

このチェックの推奨事項に従うと、組み込みアプリケーション用の MISRA C:2012 準拠コードと、CERT C 標準、CWE 標準、ISO/IEC TS 17961 標準に準拠するコードが生成される可能性が高くなります。

結果	推奨アクション
失敗。モデルに互換性がない	モデルの非互換性を解決します。次を参照してください。 Simulink Design Verifier でサポートされる/サポートされない Simulink ブロック (Simulink Design Verifier) Model ブロックのサポートの制限事項 (Simulink Design Verifier) Simulink ソフトウェア機能のサポートの制限事項 (Simulink Design Verifier) Stateflow ソフトウェア機能のサポートの制限事項 (Simulink Design Verifier) MATLAB のコード生成のサポートの制限事項 (Simulink Design Verifier) 自動スタブによる非互換性処理 (Simulink Design Verifier)も参照してください。
モデル内で配列の範囲外へのアクセスを検出	配列の範囲外へのアクセスの原因となる条件を表示するには、ハーネスモデルを作成します。ハーネスのシミュレーションを行うと、入力はエラーを再現します。モデルアドバイザーレポートで [テストケースを表示] をクリックします。

結果

推奨アクション

失敗。モデルに互換性がない

モデルの非互換性を解決します。次を参照してください。

自動スタブによる非互換性処理 (Simulink Design Verifier)も参照してください。

モデル内で配列の範囲外へのアクセスを検出

配列の範囲外へのアクセスの原因となる条件を表示するには、ハーネスモデルを作成します。ハーネスのシミュレーションを行うと、入力はエラーを再現します。モデルアドバイザーレポートで [テストケースを表示] をクリックします。