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\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

Related Information