Settings from (C++)

Settings to use for the Polyspace analysis

Model Configuration Pane: Polyspace

Description

The Settings from parameter determines Polyspace^® analysis settings for C++ code. You can choose to add C++ coding rules to your analysis using this parameter.

Dependencies

This setting overrides custom configuration settings in Project configuration and Use custom project file. If you want to use your custom coding rule settings, click Configure in Project Configuration.

Settings

Project configuration (default) | Project configuration and MISRA C++ checking | Project configuration and JSF C++ checking | MISRA C++ checking | JSF C++ checking

Project configuration

Run Polyspace with the options specified in Project configuration or Use custom project file.

Polyspace does not check for violations of coding rules unless you select a rule set in the configuration.

Project configuration and MISRA C++ checking

(Removed) Polyspace Code Prover™ no longer supports checking coding rule violation. Use this settings when running Polyspace Bug Finder™.

Project configuration and JSF C++ checking

(Removed) Polyspace Code Prover no longer supports checking coding rule violation. Use this settings when running Polyspace Bug Finder.

MISRA C++ checking

(Removed) Polyspace Code Prover no longer supports checking coding rule violation. Use this settings when running Polyspace Bug Finder.

JSF C++ checking

(Removed) Polyspace Code Prover no longer supports checking coding rule violation. Use this settings when running Polyspace Bug Finder.

Recommended Settings

Application	Setting
Debugging	No Impact
Traceability	No Impact
Efficiency	No Impact
Safety precaution	No Impact

Programmatic Use

Parameter: CxxVerificationSettings for use with pslinkoptions

Parameter: PSCxxVerificationSettings for use with set_param()

Values: 'PrjConfig' | 'PrjConfigAndMisraCxx' | 'PrjConfigAndJSF' | 'MisraCxx' | 'JSF'

Default: 'PrjConfig'

Example: opt = pslinkoptions(modelname); opt.CxxVerificationSettings = 'PrjConfigAndJSF'

Version History

Introduced in R2016b