Hauptinhalt

Die Übersetzung dieser Seite ist veraltet. Klicken Sie hier, um die neueste Version auf Englisch zu sehen.

Ausführen von Polyspace as You Code in IDEs oder Editoren ohne Plugins

Konfigurieren des Polyspace® as You Code (PaYC)-Plugins für Befehlszeilenabläufe, Auslösen von Befehlszeilenabläufen aus nicht unterstützten IDEs und Editoren

Sie können Polyspace as You Code direkt in einem Terminal Ihres Betriebssystems ausführen. Wenn Sie fähig sind, in Ihrer IDE oder Ihrem Editor Befehlszeilenabläufe auszulösen und die Konsolenausgabe anzuzeigen, können Sie Polyspace as You Code in IDEs oder Editoren verwenden, für die keine Plugins oder Erweiterungen verfügbar sind.

Systembefehle

polyspace-bug-finder-access (Polyspace Access)(System Command) Run Polyspace as You Code from Windows, Linux, or other command line
polyspace-comments-import(System Command) Import review information from previous Polyspace analysis
polyspace-configure(System Command) Create Polyspace project from your build system at the DOS or UNIX command line
polyspace-results-export(System Command) Export Polyspace results to external formats such as CSV or JSON

Themen

Verwendung

Installieren und Konfigurieren