La traduction de cette page n'est pas à jour. Cliquez ici pour voir la dernière version en anglais.
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 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 |
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 Platform Projects from Builds That Use Makefiles
Reuse build information in makefiles for Polyspace analysis and testing.