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.