Code Prover Analysis with Windows or Linux Scripts
.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
to the polyspaceroot
\polyspace\binPath
environment variable on your
operating system. Here,
is the Polyspace installation folder, for instance, polyspaceroot
C:\Program
Files\Polyspace\R2025a
. See also Install Polyspace Desktop Products.
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 project from your build system at the DOS or UNIX command line |
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 |
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
). - Create Polyspace Analysis Configuration from Build Command (Makefile)
Reuse build commands (makefiles) to configure the Polyspace analysis.
- Configure Polyspace Analysis Options in User Interface and Generate Scripts
Generate scripts for automated runs from projects configured in the user interface of the Polyspace desktop products.
- Modularize Polyspace Analysis at Command Line Based on an Initial Interdependency Analysis
Break down Polyspace analysis into smaller and relatively independent modules for faster module verification.
- Test Functions and Constrain Polyspace Code Prover Analysis for Ranges of Inputs and Outputs (Polyspace Test)
Test functions over one or more ranges of input and verify if the output is within a valid range using range specification macros. Run static analysis on the function and associated tests using the specified ranges as external constraint.
- Classify Project Files into File Sets for Precise Control of Polyspace Analysis
Control precisely which files to include in analysis and how to analyze them.