Erweiterte Einstellungen

Befehle, Skripte und nicht-offizielle Optionen nach der Analyse

Wenn Sie Befehle oder Skripte angeben möchten, die nach der Verifikation ausgeführt werden können, oder wenn Sie Optionen angeben möchten, die nur in der Befehlszeile der Polyspace^®-Benutzeroberfläche zu finden sind, verwenden Sie die erweiterten Optionen.

Polyspace-Optionen

alle erweitern

Nach der Verifikation

Befehl/Skript nach Abschluss der Code-Verifikation (-post-analysis-command) Specify command or script to be executed after analysis

Andere Polyspace-Optionen

Andere Specify additional command-line flags for static analysis

Themen

Specify Polyspace Analysis Options
Specify Polyspace analysis options in Polyspace user interface, other IDE-s or scripts.