次に解析に必要となるパラメータの設定法とパラメータの機能について述べる。まず、静的解析に必要となるパラメータについて説明する。設定すべきパラメータ値が判明しない場合は、デフォルト値を用いられたい。

まず、メニューから[静的解析用データ]−[静的解析コントロールデータ]を選択すると「静的解析用コントロールデータ」ダイアログが表示される。

静的解析制御パラメータの設定

ダイアログ中の項目の説明は別ページにあります。各項目にマウスをあわせていただくとそれらの説明のページへ移動します。