Analyse Bug Finder avec des scripts Windows ou Linux
.bat) ou de scripts shell (.sh)Utilisez des scripts Windows® ou Linux® pour configurer et exécuter une analyse Polyspace®. Découvrez les commandes système disponibles et comment utiliser ces commandes pour exécuter Polyspace à partir de la ligne de commande.
Pour vous éviter d’avoir à taper le chemin complet des commandes, ajoutez le chemin de la variable d’environnement polyspaceroot\polyspace\binPath de votre système d’exploitation. Ici, est le dossier d’installation de Polyspace, par exemple, polyspacerootC:\Program Files\Polyspace\R2025b. Voir aussi Install Polyspace Desktop Products.
Commandes système
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 |
Rubriques
- 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.