Bug Finder-Analyse mit Windows- oder Linux-Skripten
.bat
) oder Shell-Skripten (.sh
)Verwenden Sie Windows®- oder Linux®-Skripte zum Konfigurieren und Ausführen einer Polyspace®-Analyse. Lernen Sie die verfügbaren Systembefehle kennen und erfahren Sie, wie diese Befehle verwendet werden, um Polyspace über die Befehlszeile auszuführen.
Um sich die Eingabe des vollständigen Pfads zu den Befehlen zu ersparen, fügen Sie den Pfad
zu der polyspaceroot
\polyspace\binPath
-Umgebungsvariable Ihres Betriebssystems hinzu. Hier ist
der Polyspace-Installationsordner, beispielsweise polyspaceroot
C:\Program Files\Polyspace\R2025a
. Siehe auch Install Polyspace Desktop Products.
Systembefehle
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 |
Themen
- 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.