Main Content

Settings from (C)

Settings to use for the Polyspace analysis of C code

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, select the click Configure in Project Configuration.

Settings

Project configuration (default) | Project configuration and MISRA AC AGC checking | Project configuration and MISRA C 2004 checking | Project configuration and MISRA C 2012 checking | MISRA AC AGC checking | MISRA C 2004 checking | MISRA C 2012 checking
Project configuration

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

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

Project configuration and MISRA AC AGC checking

Run Polyspace with the options specified in Project configuration and check for violations of MISRA™ AC-AGC obligatory and recommended rules.

Project configuration and MISRA C 2004 checking

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

Project configuration and MISRA C 2012 checking

Run Polyspace with the options specified in Project configuration and check for violations of MISRA C 2012 rules. This option automatically applies the rule categories for generated code. See Use generated code requirements (-misra3-agc-mode).

MISRA AC AGC checking

Check for violations of MISRA AC-AGC obligatory and recommended rules.

MISRA C 2004 checking

Check for violations of MISRA C 2004 rules.

MISRA C 2012 checking

Check for violations of all MISRA C 2012 rules. This option automatically applies the rule categories for generated code. See Use generated code requirements (-misra3-agc-mode).

Recommended Settings

ApplicationSetting
DebuggingNo Impact
TraceabilityNo Impact
EfficiencyNo Impact
Safety precautionNo Impact

Programmatic Use

Parameter: VerificationSettings for use with pslinkoptions
Parameter: PSVerificationSettings for use with set_param()
Values: 'PrjConfig' | 'PrjConfigAndMisraAGC' | 'PrjConfigAndMisra' | 'PrjConfigAndMisraC2012' | 'MisraAGC' | 'Misra' | 'MisraC2012'
Default: 'PrjConfig'
Example : opt = pslinkoptions(modelname); opt.VerificationSettings = 'PrjConfigAndMisraC2012'

Version History

Introduced in R2016b

See Also

|

Topics