-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, on each line, specify the path to a source file. 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

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.