入力およびスタブ

グローバル変数と関数の範囲の指定

外部ソースからの変数の範囲に制限を指定したり、一部のファイルの欠陥やコーディング ルール違反を非表示にするには、入力およびスタブのオプションを使用します。

Polyspace オプション

すべて展開する

制約の設定 (-data-range-specifications)グローバル変数、関数の入力およびスタブ関数の戻り値の制約
スタブを生成する関数 (-functions-to-stub)解析時にスタブ化する関数の指定
使用するライブラリ (-library)プログラムで使用するライブラリの指定 (R2021a 以降)
ソースおよび次に対する結果を生成する (-generate-results-for)解析結果が必要なファイルの指定
次に対する結果を生成しない (-do-not-generate-results-for)解析結果が不要なファイルの指定
-classificationControl precisely which files to include in Polyspace analysis and how to analyze them (R2023a 以降)

トピック