Contenuto principale

La traduzione di questa pagina non è aggiornata. Fai clic qui per vedere l'ultima versione in inglese.

Esecuzione di Polyspace as You Code negli IDE o negli Editor senza plugin

Configurare il plugin Polyspace® as You Code per le esecuzioni dalla riga di comando, avviare le esecuzioni dalla riga di comando dagli IDE e dagli Editor non supportati

È possibile eseguire Polyspace direttamente in un terminale nel sistema operativo. Se si è in grado di attivare le esecuzioni dalla riga di comando e visualizzare l'output della console nell'IDE o nell'Editor, è possibile utilizzare Polyspace as You Code negli IDE o negli Editor che non sono direttamente supportati con plugin o estensioni.

Comandi di sistema

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

Argomenti

Utilizzo

Installazione e configurazione