Main Content

Complete List ofPolyspaceBug FinderAnalysis Engine Options

ConfigurePolyspace®Bug Finder™analysis

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 theConfigurationpane 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 theProject Browser, select theConfigurationnode of the module. In theConfigurationpane, change the options as needed. SeeRun Analysis in Polyspace Desktop User Interface.

  • Command Line: To specify analysis options when running Polyspace analyses from the command line, append the options to thepolyspace-bug-finderorpolyspace-bug-finder-server. SeeRun Polyspace Analysis from Command Line.

  • Options File:一个选项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. SeeOptions Files for Polyspace Analysis.

For information on the IDE-specific settings available with the Polyspace as You Code plugins or extensions, seeSet Up Polyspace Analysis in IDEs.

Common Workflows

Categories