-options-file

オプションのリストを使用した Polyspace の実行

構文

-options-file file


説明

-options-file file は解析オプションをリストにしたファイルを指定します。ファイルは各オプションが個別の行に記載されたテキスト ファイルでなければなりません。# を使用してこのファイルにコメントを追加します。

ユーザー インターフェイス (Polyspace^® デスクトップ製品のみ) では、[構成] ペインの [その他] フィールドにこのオプションを入力します。Otherを参照してください。

ユーザー インターフェイスの [その他] フィールドでこのオプションを使用するときは、オプション ファイルの絶対パスを指定します。次に例を示します。

-options-file C:\psconfig\listofoptions.txt

コマンド ラインでこのオプションを使用するときは、入力としてオプション ファイルの相対パスを使用できます。

例

1. オプションを入れた listofoptions.txt と呼ばれるオプション ファイルを作成します。以下に例を示します。

   • Bug Finder または Bug Finder Server:

     #These are the options for MyBugFinderProject
     -lang c
     -prog MyBugFinderProject
     -author jsmith
     -sources "mymain.c,funAlgebra.c,funGeometry.c"
     -target x86_64
     -compiler generic
     -dos
     -misra2 required-rules
     -do-not-generate-results-for all-headers
     -checkers default
     -disable-checkers concurrency
     -results-dir C:\Polyspace\MyBugFinderProject

   • Code Prover または Code Prover Server:

     #These are the options for MyCodeProverProject
     -lang c
     -prog MyCodeProverProject
     -author jsmith
     -sources "mymain.c,funAlgebra.c,funGeometry.c"
     -target x86_64
     -compiler generic
     -dos
     -misra2 required-rules
     -do-not-generate-results-for all-headers
     -main-generator
     -results-dir C:\Polyspace\MyCodeProverProject

2. listofoptions.txt ファイル内のオプションを使用して Polyspace を実行します。

   • Bug Finder:

     polyspace-bug-finder -options-file listofoptions.txt

   • Code Prover:

     polyspace-code-prover -options-file listofoptions.txt

   • Bug Finder Server:

     polyspace-bug-finder-server -options-file listofoptions.txt

   • Code Prover Server:

     polyspace-code-prover-server -options-file listofoptions.txt

参考

トピック

• Polyspace 解析オプションの指定