Main Content

-sources-list-file

Specify file containing list of sources

Syntax

-sources-list-file file_path

Description

-sources-list-file file_path specifies the absolute path to a text file that lists each file name that you want to analyze.

To specify your sources in the text file, specify the path to a source file on each line. You can specify an absolute path or a path relative to the folder from which you are running the analysis. For example:

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

Examples

Run analysis on files listed in 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"

Tips

You cannot use this option with Polyspace as You Code.

See Also

Topics