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

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

Project configuration and MISRA C 2004 checking

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

Project configuration and MISRA C 2012 checking

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

MISRA AC AGC checking

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

MISRA C 2004 checking

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

MISRA C 2012 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: 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