Elenco completo delle opzioni del motore di analisi Polyspace Bug Finder

Quando si utilizza Polyspace, si potrebbe voler modificare alcune opzioni di analisi predefinite. È possibile modificare le opzioni per aggirare problemi di compilazione, specificare checker aggiuntivi, impostare regole dagli standard di codifica, generare report e così via. Le opzioni sono organizzate qui in base ai gruppi presenti nel riquadro Configuration nell'interfaccia utente dei prodotti desktop di Polyspace.

È possibile specificare le opzioni di analisi utilizzando l'interfaccia utente desktop di Polyspace, l'interfaccia della riga di comando di Polyspace o un file di opzioni.

• Interfaccia utente di Polyspace: per modificare le opzioni di analisi di un modulo di progetto in Project Browser, selezionare il nodo Configuration del modulo. Nel riquadro Configuration, modificare le opzioni secondo necessità. Vedere .

• Riga di comando: per specificare le opzioni di analisi quando si eseguono analisi Polyspace dalla riga di comando, aggiungere le opzioni a polyspace-bug-finder o a polyspace-bug-finder-server. Vedere Run Polyspace Analysis from Command Line.

• File di opzioni: un file di opzioni è un file di testo con una coppia opzione-valore in ogni riga. Anziché enumerare esplicitamente molte opzioni, è possibile specificare un file di opzioni nella riga di comando come valore dell'opzione -options-file. Vedere Options Files for Polyspace Analysis.

Per informazioni sulle impostazioni specifiche dell'IDE disponibili con i plugin o le estensioni Polyspace as You Code, vedere Impostazione dell'analisi Polyspace negli IDE.