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

コマンド ラインのみでのオプション

コマンド ラインでのみ使用可能なオプションの説明

コマンド ラインのオプションは、ユーザー インターフェイスの [構成] ペインのオプションに直接対応しています。以下のオプションはこのルールの例外です。標準オプションは、ユーザー インターフェイスの別の場所のメニュー項目やフィールドに対応します。詳細オプションは、ユーザー インターフェイスには表示されません。これらのオプションは、[構成] ペインのフィールドOtherからコマンド ライン形式で指定しなければなりません。

Polyspace オプション

すべて展開する

-authorプロジェクト作成者の指定
-c製品で使用するライセンス ファイルのパスの指定
-date解析の日付の指定
-doc | -documentationWeb ブラウザーでの Polyspace ドキュメンテーションの表示
-h | -help使用可能なオプションのリストを表示
-Iコンパイル用インクルード フォルダーの指定
-import-comments以前の解析からレビュー情報をインポート
-list-all-values特定のコマンド ライン オプションに対して有効なオプション引数の表示
-options-fileオプションのリストを使用した Polyspace の実行
-progプロジェクト名の指定
-report-output-nameレポート名の指定
-results-dir解析結果フォルダーの指定
-schedulerクラスターまたはジョブ スケジューラの指定
-sourcesソース ファイルの指定
-sources-list-fileソースのリストを含むファイルの指定
-verPolyspace 製品のシステム情報の表示
-verif-versionバージョン識別子の割り当て
-v | -versionPolyspace バージョン番号の表示
-asm-begin -asm-endコンパイラ固有の asm 関数の解析からの除外
-code-behavior-specificationsコードの要素 (関数など) への動作の関連付け
-consider-external-array-access-unsafeサイズの指定されていない外部配列に任意のインデックスで安全にアクセスできるという既定の仮定の削除
-custom-target特定のデータ型サイズをもつカスタム ターゲット プロセッサの作成
-classificationControl precisely which files to include in Polyspace analysis and how to analyze them (R2025a 以降)
-dump-preprocessing-info特定の解析時に暗黙的に定義されたすべてのマクロの表示
-ignore-code-annotationsPolyspace の結果を正当化する C/C++ コード注釈を無視し、すべての結果を未確認として表示 (R2022a 以降)
-improve-pointer-analysis-precisionEnable more precise pointer analysis mode in Code Prover (R2022a 以降)
-main-generator-bounded-loopGenerate a main that calls functions in a loop with a specific number of iterations (R2022a 以降)
-max-processes解析に使用するプロセッサの最大数の指定
-no-assumption-on-absolute-addresses絶対アドレスの使用が有効であるという仮定の削除
-no-credentials-checkDisable credential check when running Polyspace Bug Finder or Polyspace Code Prover analysis on a remote cluster
-non-preemptable-tasks非プリエンプタブル タスクを表す関数の指定
-options-for-sourcesソース ファイルに固有の解析オプションの指定
-preemptable-interruptsプリエンプタブル割り込みを表す関数の指定
-pstunit-testOption to specify a test the input of which is used for static analysis
-regex-replace-rgx -regex-replace-fmtプリプロセッサ命令での置換の実行
-show-similar-overflowsラップ アラウンド モードでのすべてのオーバーフローの表示
-submit-job-from-previous-compilation-results解析ジョブが再コンパイルなしで再投入されなければならないことを指定
-tmp-dir-in-results-dir結果フォルダーへの一時ファイルの保存
-wchar-t-isSpecify the nature of type specifier wchar_t for your compiler
-xml-annotations-descriptionPolyspace 解析結果に対するカスタム コード注釈の適用