グローバル変数の初期化チェックの構成

グローバル変数の初期化およびグローバル変数を初期化するコードをチェックするかどうかを指定する

コード内のグローバル変数の初期化をチェックする Polyspace^® Code Prover™ 解析を実行します。グローバル変数の初期化のチェックのみを行う解析を実行できます。グローバル変数を初期化するため、main の前に呼び出される関数を指定します。

Polyspace オプション

`未初期化のチェックを無効にする (-disable-initialization-checks)`	未初期化変数および未初期化ポインターのチェックの無効化
`ウォームリブート後にグローバル変数が初期化されることをチェック (-check-globals-init)`	グローバル変数が設計された初期化コードで割り当てられた値であることのチェック
`コードの初期化セクションのみの検証 (-init-only-mode)`	初期化コードのみのランタイムエラーとその他の問題のチェック
`初期化関数 (-functions-called-before-main)`	生成された `main` により他の関数より先に呼び出す関数の指定
`グローバル変数の既定の初期化を無視する (-no-def-init-glob)`	グローバル変数がコード内で明示的に初期化されていない場合、未初期化と見なす