Code Prover Analysis with Windows or Linux Scripts

Check C/C++ code for run-time errors using batch files (.bat) or shell scripts (.sh)

Use Windows^® or Linux^® scripts to configure and run a Polyspace^® analysis. Learn about the available system commands, and about how to use these commands to run Polyspace from the command-line.

To save typing the full path to the commands, add the path polyspaceroot\polyspace\bin to the Path environment variable on your operating system. Here, polyspaceroot is the Polyspace installation folder, for instance, C:\Program Files\Polyspace\R2026a. See also Install Polyspace Desktop Products.

Polyspace Options

expand all

View Command-Line Help

`-h \| -help`	Display list of static analysis options on the command line
`-doc \| -documentation`	Display Polyspace documentation in web browser
`-list-all-values`	Display valid option arguments for a given command-line option

View Version Info on Command Line

`-ver`	Display system information for Polyspace products
`-v \| -version`	Display Polyspace version number

Automate Analysis

`Command/script to apply after the end of the code verification (-post-analysis-command)`	Specify command or script to be executed after analysis
`-options-file`	Run Polyspace using list of options
`-results-dir`	Specify the results folder
`-tmp-dir-in-results-dir`	Keep temporary files in results folder

System Commands

`polyspace-code-prover`	(System Command) Run a Code Prover verification from Windows, Linux, or other command line
`polyspace-comments-import`	(System Command) Import review information from previous Polyspace analysis
`polyspace-configure`	(System Command) Create Polyspace Platform project, workspace, or options file from build command or compilation database
`polyspace-report-generator`	(System Command) Generate reports from Polyspace analysis results stored locally or on Polyspace Access
`polyspace-results-export`	(System Command) Export Polyspace results to external formats such as CSV or JSON
`polyspace-project -diff, polyspace-project -merge`	(System Command) Compare and merge Polyspace Platform projects, workspaces, configurations and tests before submission to source control
`polyspace-project -convert-psprj-to-workspace`	(System Command) Convert Polyspace project file to Polyspace Platform workspace file and project files
`polyspace-project -generate-launching-script-for`	(System Command) Generate files needed to run static analysis on a Polyspace Platform project

Topics

Run Polyspace Analysis from Command Line
Check C/C++ code with Bug Finder or Code Prover using batch files (.bat) or shell scripts (.sh).
Options Files for Polyspace Analysis
Collect all analysis options in a text file for easy sharing across projects.
Generate Launching Script for Polyspace Platform Project to Run Static Analysis from Command Line
Run static analysis on a Polyspace Platform project from the command line.