When using Polyspace, you might want to change some default analysis options. You can change options to work around compilation issues, to specify additional checkers, to set rules from coding standards, to generate reports, and so on. The options are organized here according to the groups on the Configuration pane in user interface of the Polyspace desktop products.
You can specify analysis options by using the Polyspace desktop user interface, the Polyspace command-line interface, or an options file.
Polyspace User Interface: To change the analysis options of a project module, in the Project Browser, select the Configuration node of the module. In the Configuration pane, change the options as needed. See Run Analysis in Polyspace Desktop User Interface.
Command Line: To specify analysis
options when running Polyspace analyses from the command line, append the options to the
polyspace-bug-finder-server. See Run Polyspace Analysis from Command Line.
Options File: An options file is a
text file with one option-value pair in each line. Instead of
enumerating many options explicitly, you can specify an options file at
the command line as a value to the option
-options-file. See Options Files for Polyspace Analysis.
For information on the IDE-specific settings available with the Polyspace as You Code plugins or extensions, see Set Up Polyspace Analysis in IDEs.