Settings from (C++)

R2026b

(To be removed) Settings to use for the Polyspace analysis

Model Configuration Pane: Polyspace

This option will be removed in a future release. In R2026b, it moved into the Advanced parameters section.

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, specify them in the Project configuration or in a custom project file.

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 for coding rule violations. Use this setting when running Polyspace Bug Finder™.

Project configuration and JSF C++ checking

(Removed) Polyspace Code Prover no longer supports checking for coding rule violations. Use this setting when running Polyspace Bug Finder.

MISRA C++ checking

(Removed) Polyspace Code Prover no longer supports checking for coding rule violations. Use this setting when running Polyspace Bug Finder.

JSF C++ checking

(Removed) Polyspace Code Prover no longer supports checking for coding rule violations. Use this setting 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

R2026b: Settings from parameter will be removed

The Settings from parameter will be removed in a future release. In R2026b, this parameter moved into the Advanced parameters section of the Configuration Parameters dialog box.