Main Content

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

Run Polyspace with the options specified in Project configuration and check for violations of MISRA™ C++ required rules.

Project configuration and JSF C++ checking

Run Polyspace with the options specified in Project configuration and check for JSF® C++ shall rules.

MISRA C++ checking

Check for violations of MISRA C++: 2008 required rules.

JSF C++ checking

Check for violations of JSF C++ shall rules.

Recommended Settings

ApplicationSetting
DebuggingNo Impact
TraceabilityNo Impact
EfficiencyNo Impact
Safety precautionNo 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

See Also

|

Topics