Diese Seite ist für die vorige Version. Die entsprechende englische Seite wurde in der aktuellen Version entfernt.
Ausführungseinstellungen
Fernanalyse, Repository der Ergebnisse
Um festzulegen, dass die Bug Finder-Analyse auf einem Remote-Server durchgeführt werden muss oder schneller als im normalen Analysemodus Ergebnisse liefern soll, verwenden Sie die Option „Ausführungseinstellungen“.
Polyspace-Optionen
Bug Finder oder Code Prover-Analyse auf Remote-Cluster ausführen (-batch) | Enable batch remote analysis |
Schnellanalyse-Modus für Bug Finder (-fast-analysis) | Run analysis using faster local mode |
Themen
- 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).
