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 polyspaceroot\polyspace\binPath-Umgebungsvariable Ihres Betriebssystems hinzu. Hier ist polyspacerootC:\Program Files\Polyspace\R2025b. 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 Platform project, workspace, or options file from build command or compilation database |
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 Platform Projects from Builds That Use Makefiles
Reuse build information in makefiles for Polyspace analysis and testing.
