このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
制御フロー チェック
関数呼び出しとループのチェック
Polyspace® Code Prover™ の制御フロー チェックは、制御フローの変更が明確なランタイム エラーにつながる場合に、その制御フローの変更を行っているステートメントにフラグを設定します。赤いループ ステートメントまたは関数呼び出しは、そのループまたは関数本体の "内部" の操作がランタイム エラーを引き起こすことを示しています。
トピック
- 無限呼び出しチェックのレビューと修正
関数本体の操作を確認し、現在の関数呼び出し固有の問題によって発生するランタイム エラーを見つける。
- ランタイム エラーのある関数呼び出しの特定
関数本体でランタイム エラーの原因となる関数呼び出しを特定する。
- 無限ループ チェックのレビューと修正
ループ内の操作を確認し、ループが終了しない理由またはループ実行の 1 つで明確なランタイム エラーが発生する理由を判断する。
- ランタイム エラーのあるループ操作の特定
ループ内でエラーの原因となるループ操作を特定する。
- コード内の変数間の関係の検出
任意の操作に含まれる変数が前の操作に関連しているかどうかを判断する。
