Paramètres d’exécution
Analyse à distance, dépôts de résultats
Pour indiquer que l'analyse Bug Finder doit être effectuée sur un serveur à distance ou qu'elle doit produire des résultats plus rapidement que le mode d'analyse normal, utilisez l'option Paramètres d'exécution.
Options Polyspace
Run Bug Finder or Code Prover analysis on a remote cluster (-batch) | Enable batch remote analysis |
Use fast analysis mode for Bug Finder (-fast-analysis) | Run analysis using faster local mode |
Rubriques
- Specify Polyspace Analysis Options
Specify Polyspace® analysis options in Polyspace user interface, other IDE-s or scripts.
- Bug Finder Results Found in Fast Analysis Mode
Learn about the subset of defects and coding rules that Bug Finder checks in fast analysis mode.
- Send Polyspace Analysis from Desktop to Remote Servers Using Scripts
Send Polyspace analysis jobs to a remote server by using batch files (
.bat
) or shell scripts (.sh
).