Questa pagina si riferisce alla release precedente. La corrispondente pagina in inglese è stata rimossa nella release attuale.
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) | (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 |
Argomenti
Utilizzo
- Manage Polyspace Access Results and Users at the Command Line (Polyspace Access)
Manage Polyspace Access™ results and users at the command line.
