Bug Finder 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
polyspaceroot\polyspace\binPath environment variable on your
operating system. Here,
polyspacerootC:\Program Files\Polyspace\R2025a. See also Install Polyspace Desktop Products.
System Commands
polyspace-bug-finder | (System Command) Run a Bug Finder analysis on 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.
