Questa pagina si riferisce alla release precedente. La corrispondente pagina in inglese è stata rimossa nella release attuale.
Impostazioni di esecuzione
Analisi remota, repository dei risultati
Per specificare che l'analisi Bug Finder deve essere eseguita su un server remoto o deve produrre risultati più rapidamente rispetto alla modalità di analisi normale, utilizzare l'opzione impostazioni di esecuzione.
Opzioni Polyspace
Eseguire l'analisi Bug Finder o Code Prover su un cluster remoto (-batch) | Enable batch remote analysis |
Utilizzare la modalità di analisi rapida per Bug Finder (-fast-analysis) | Run analysis using faster local mode |
Argomenti
- 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).
