Analisi Bug Finder con gli script di Windows o Linux
.bat
) o script shell (.sh
)Utilizzare gli script di Windows® o Linux® per configurare ed eseguire un'analisi Polyspace®. Scoprire i comandi di sistema disponibili e come utilizzarli per eseguire Polyspace dalla riga di comando.
Per evitare di digitare il percorso completo dei comandi, aggiungere il percorso
alla variabile di ambiente polyspaceroot
\polyspace\binPath
del sistema operativo. In questo caso,
è la cartella di installazione di Polyspace, ad esempio polyspaceroot
C:\Program Files\Polyspace\R2025a
. Vedere anche Install Polyspace Desktop Products.
Comandi di sistema
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 |
Argomenti
- 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.