Analisi Bug Finder con gli script di Windows o Linux
Controllare il codice C/C++ per individuare eventuali difetti utilizzando file batch (
.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 polyspaceroot\polyspace\binPath del sistema operativo. In questo caso, polyspacerootC:\Program Files\Polyspace\R2025b. 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 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 |
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 Platform Projects from Builds That Use Makefiles
Reuse build information in makefiles for Polyspace analysis and testing.
