Complete List of Polyspace Bug Finder Analysis Engine Options
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.
- Target and Compiler
Target processor type, compiler behavior
Preprocessor specifications and definitions
- Environment Settings
Preprocessing script, include files
- Inputs and Stubbing
Specify ranges for global variables and functions
Multitasking options, entry points, critical sections, exclusive tasks
- Coding Standards & Code Metrics
MISRA, AUTOSAR, CERT, and JSF coding rule sets, custom coding rules, code metrics
- Bug Finder Analysis
Analysis options for finding defects
- Main Generator
Main generation; initialization, step, and termination functions; parameters and input variables
- Check Behavior
Modify default behavior of run-time checks
Specify analysis precision
Defect reports, summary reports, report templates
- Run Settings
Remote analysis, results repository
- Advanced Settings
Post-analysis commands, scripts, nonofficial options
- Command-Line Only Options
Command-line only options, advanced options