Questa pagina si riferisce alla release precedente. La corrispondente pagina in inglese è stata rimossa nella release attuale.
Impostazioni dell'estensione IDE Polyspace as You Code
R2025bNelle 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
- Visual Studio: Configure Polyspace as You Code Extension (Polyspace as You Code)
Set Polyspace as You Code™ extension settings in Visual Studio® such as analysis launch mode and build configuration.
- Visual Studio Code: Configure Polyspace as You Code Extension (Polyspace as You Code)
Set Polyspace as You Code extension settings in Visual Studio Code such as analysis launch mode and build configuration.
- Eclipse: Configure Polyspace as You Code Plugin (Polyspace as You Code)
Set Polyspace as You Code plugin settings in Eclipse™ 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.
