Main Content

-sources

Specify source files

Syntax

-sources file1[,file2,...]
-sources file1 -sources file2

Description

-sources file1[,file2,...] or -sources file1 -sources file2 specifies the list of source files that you want to analyze. You can use standard UNIX® wildcards with this option to specify your sources.

The source files are compiled in the order in which they are specified.

Examples

Analyze the files mymain.c, funAlgebra.c, and funGeometry.c.

  • Bug Finder:

    polyspace-bug-finder -sources mymain.c,funAlgebra.c,funGeometry.c

  • Code Prover:

    polyspace-code-prover -sources mymain.c,funAlgebra.c,funGeometry.c

  • Bug Finder Server:

    polyspace-bug-finder-server -sources mymain.c,funAlgebra.c,funGeometry.c

  • Code Prover Server:

    polyspace-code-prover-server -sources mymain.c,funAlgebra.c,funGeometry.c

  • Polyspace as You Code:

    polyspace-bug-finder-access -sources myfile.c

    Note that you can only analyze one file at a time with Polyspace as You Code.

Tips

This option is useful for Polyspace® analysis from the command line. In the Polyspace user interface, you add the source files during project setup. See Add Source Files for Analysis in Polyspace User Interface.

See Also

|

Topics