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

-sources-list-file

ソースのリストを含むファイルの指定

構文

-sources-list-file file_path

説明

-sources-list-file file_path では、解析する各ファイルの名前をリストするテキスト ファイルへの絶対パスを指定します。

テキスト ファイル内でソースを指定するには各行でソース ファイルへのパスを指定します。絶対パス、または解析を実行するフォルダーからの相対パスを指定できます。以下に例を示します。

C:\Sources\myfile.c
C:\Sources2\myfile2.c
C:\Sources3\myfile3.c

例

files.txt にリストされたファイルの解析を実行します。

  • Bug Finder:

    polyspace-bug-finder -sources-list-file "C:\Analysis\files.txt"
polyspace-bug-finder -sources-list-file "/home/polyspace/files.txt"

  • Code Prover:

    polyspace-code-prover -sources-list-file "C:\Analysis\files.txt
polyspace-code-prover -sources-list-file "/home/polyspace/files.txt"

  • Bug Finder Server:

    polyspace-bug-finder-server -sources-list-file "C:\Analysis\files.txt"
polyspace-bug-finder-server -sources-list-file "/home/polyspace/files.txt"

  • Code Prover Server:

    polyspace-code-prover-server -sources-list-file "C:\Analysis\files.txt
polyspace-code-prover-server -sources-list-file "/home/polyspace/files.txt"

ヒント

Polyspace as You Code では、このオプションを使用できません。

参考

トピック