このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

MISRA C:2012 Dir 4.1

Run-time failures shall be minimized

説明

命令の定義

Run-time failures shall be minimized ¹ .

根拠

実行可能コードのサイズと速度を最適化するために、C 標準では制限付きの実行時エラー チェックが実装されています。実行時エラーを減らすには、以下のエラーをチェックしてください。

• 算術エラー

• ポインター演算

• 配列値域エラー

• 関数パラメーター

• ポインターのデリファレンス

• 動的メモリ

Polyspace 実装

Polyspace^® は、次のような実行時の問題がコードに含まれている場合に、この命令の違反を報告します。

• 整数のゼロ除算

• 浮動小数点数のゼロ除算

• 整数変換のオーバーフロー

• 符号なし整数の変換のオーバーフロー

• 符号変化する整数の変換のオーバーフロー

• 浮動小数点変換のオーバーフロー

• 整数のオーバーフロー

• 符号なし整数のオーバーフロー

• 浮動小数点のオーバーフロー

• 負の値のシフト

• シフト演算の右オペランドが許容範囲外

• NULL ポインターのデリファレンス

• NULL ポインターを使用した算術演算

• スレッドからエスケープする自動変数またはスレッド ローカル変数

• キャストに割り当てられた誤ったオブジェクト サイズ

• 配列が範囲外にアクセス

• 範囲外にアクセスするポインター

トラブルシューティング

ルール違反を想定していてもその違反が表示されない場合、コーディング規約違反が想定どおりに表示されない理由の診断を参照します。

チェック情報

グループ: Code design

カテゴリ: 必要

AGC カテゴリ: 必要

バージョン履歴

R2014b で導入

参考

MISRA C:2012 Dir 4.11 | MISRA C:2012 Rule 1.3 | MISRA C:2012 Rule 18.1 | MISRA C:2012 Rule 18.2 | MISRA C:2012 Rule 18.3 | MISRA C:2012 のチェック (-misra3)

トピック

• コーディング規約違反のチェックおよびレビュー

---

¹ All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

The MISRA coding standards referenced in the Polyspace Bug Finder™ documentation are from the following MISRA standards:

• MISRA C:2004

• MISRA C:2012

• MISRA C:2023

• MISRA C++:2008

• MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.