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 DOS/UNIX 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\R2024b
. See also Install Polyspace Desktop Products.
DOS/UNIX Commands
polyspace-bug-finder | (DOS/UNIX) Run a Bug Finder analysis from Windows, Linux, or other command line |
polyspace-comments-import | (DOS/UNIX) Import review information from previous Polyspace analysis |
polyspace-configure | (DOS/UNIX) Create Polyspace project from your build system at the DOS or UNIX command line |
polyspace-report-generator | (DOS/UNIX) Generate reports for Polyspace analysis results stored locally or on Polyspace Access |
polyspace-results-export | (DOS/UNIX) 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.