Hauptinhalt

Diese Seite ist für die vorige Version. Die entsprechende englische Seite wurde in der aktuellen Version entfernt.

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)(Not recommended) 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 Platform project, workspace, or options file from build command or compilation database
polyspace-results-export(System Command) Export Polyspace results to external formats such as CSV or JSON

Themen

Verwendung

Installieren und Konfigurieren