Configuration Settings in Polyspace Access Web Interface
The Configuration Used pane displays the options and checkers that were enabled to generate the results in the currently selected project. The Options tab shows user-specified options and options that are enabled by default.
You open the Configuration Used pane by going to Window > Configuration Used.
Click Checkers to see which checkers are enabled for:
Coding Standards (Polyspace Bug Finder), for instance MISRA C™: 2012.
Custom Coding Rules (Polyspace Bug Finder).
Checkers is not available for a Code Prover project if no coding standard or custom coding rules are enabled.
You can also select a web site from the following list:
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)