-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"