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 Run Static Analysis in Polyspace User Interface.

• 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.