polyspace-as-you-code

(System Command) Run Polyspace as You Code from Windows, Linux, or other command line

Since R2026a

Syntax

polyspace-as-you-code -sources sourceFile [options]

polyspace-as-you-code -sources sourceFile -import-comments baselineFolder [options]

polyspace-as-you-code -sources sourceFile -options-file optFile

polyspace-as-you-code -h[elp]

Description

The polyspace-as-you-code system command runs a Polyspace^® as You Code™ analysis at the Windows^®, Linux^®, or other command line using analysis options specified as command-line flags or using an options file.

Note

This Polyspace command is available in polyspaceroot\polyspace\bin. Here, polyspaceroot is the Polyspace as You Code installation folder, for instance, C:\Program Files\Polyspace as You Code\R2026a (see also Run Polyspace as You Code from Command Line and Export Results). To avoid typing the full path to this command, add this location to the PATH environment variable in your operating system.

polyspace-as-you-code -sources sourceFile [options] runs a Polyspace as You Code analysis on the source file sourceFile. You can customize the analysis with additional options.

polyspace-as-you-code -sources sourceFile -import-comments baselineFolder [options] runs a Polyspace as You Code analysis on the source file sourceFile and then imports the review information from a previous run stored in baselineFolder. See -import-comments (Polyspace Bug Finder).

Use this workflow to compare your results against the results of a previous run that you download from Polyspace Access™ and focus on new results only or on unreviewed results. See Command Line: Configure Baseline Results in Polyspace as You Code.

polyspace-as-you-code -sources sourceFile -options-file optFile runs a Polyspace as You Code analysis on the source file sourceFile with the options specified in the option file. When you have many analysis options, an options file makes it easier to run the same analysis again.

polyspace-as-you-code -h[elp] lists a summary of possible analysis options.

Examples

Run Analysis by Directly Specifying Options

Run the polyspace-as-you-code command by specifying all options directly at the command line.

Run the polyspace-as-you-code command on a single source file file.c in the current folder. Save the results in the folder polyspaceResults.

polyspace-as-you-code -sources file.c -results-dir polyspaceResults

Run Analysis Using Options File

Run the polyspace-as-you-code command by specifying options in a text file.

Enter the following options in a text file opts.txt:

-results-dir polyspaceResults
-compiler gnu7.x

Run the polyspace-as-you-code command on a single source file file.c in the current folder. Use the analysis options in the previously created file opts.txt:

polyspace-as-you-code -sources file.c -options-file opts.txt

Input Arguments

sourceFile — C or C++ file to analyze

source file name or path

C or C++ source file name or path. If the file is not in the current folder (pwd), sourceFile must include a full or relative path. To avoid errors because of paths with spaces, add double quotes (" ") around the path.

You can analyze only one source file at a time using Polyspace as You Code.

Example: myFile.c

options — Analysis option and corresponding value

command-line flag with optional value

Analysis options and their corresponding values, specified by the option name and value, if applicable. For syntax specifications, see the individual analysis option reference pages (Polyspace Bug Finder).

Example: -lang C-CPP -compiler diab

optFile — Text file listing analysis options and values

options file name or path

Text file name or path listing analysis options and values. If the file is not in the current folder (pwd), optFile must include a full or relative path. To avoid errors because of paths with spaces, add double quotes (" ") around the path. For more information, see -options-file (Polyspace Bug Finder).

Example: opts.txt, "C:\ps_analysis\options.txt"

baselineFolder — Folder where you download baseline run

folder path

Path of folder where you store the run that you download from Polyspace Access. You use the downloaded run as a baseline for Polyspace as You Code runs. See Command Line: Configure Baseline Results in Polyspace as You Code.

Example: "C:\Temp\Results_Folder\baseline"

Version History

Introduced in R2026a