Impostazioni dell'estensione IDE Polyspace as You Code
Nelle impostazioni dell'estensione o del plugin IDE è possibile specificare le opzioni comunemente richieste, come la cartella dei risultati, i checker e così via. Vedere l'elenco completo delle impostazioni dell'estensione IDE qui.
Se non è possibile individuare un'impostazione nell'estensione IDE per perfezionare l'analisi, cercare un'opzione del motore di analisi e specificarla in un file delle opzioni. Quindi, specificare il file delle opzioni nelle impostazioni dell'estensione IDE.
Argomenti
- Configure Polyspace as You Code Extension in Visual Studio (Polyspace Access)
Set Polyspace as You Code extension settings such as analysis launch mode and build configuration.
- Configure Polyspace as You Code Extension in Visual Studio Code (Polyspace Access)
Set Polyspace as You Code extension settings such as analysis launch mode and build configuration.
- Configure Polyspace as You Code Plugin in Eclipse (Polyspace Access)
Set Polyspace as You Code plugin settings such as analysis launch mode and build configuration.
- Options Files for Polyspace Analysis
Collect all analysis options in a text file for easy sharing across projects.
