Configuración de ejecución
Análisis remoto, repositorio de resultados
Para especificar que el análisis de Bug Finder se debe realizar en un servidor remoto o que debe producir resultados más rápido que el modo de análisis normal, utilice la opción de configuración de ejecución.
Opciones de Polyspace
Ejecutar el análisis de Bug Finder o Code Prover en un cluster remoto (-batch) | Enable batch remote analysis |
Utilizar el modo de análisis rápido para Bug Finder (-fast-analysis) | Run analysis using faster local mode |
Temas
- 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).
