-cert-c

R2026b

Check for violations of CERT C rules and recommendations

Description

This option affects Bug Finder only.

Specify whether to check for violations of CERT^® C rules and recommendations. Each value of the option corresponds to a subset of the coding standard to check.

Set Option

Set the option using one of these methods:

• Polyspace Platform user interface (desktop products only): This option does not exist in the project configuration. Activate checkers by using the options Use custom checkers file and Checkers activation file (-checkers-activation-file).

• Command line and options file: Use the option -cert-c. See Command-Line Information.

Why Use This Option

Use this option to specify the subset of CERT C rules and recommendations to check in your code.

After analysis, the Results List pane lists the coding standard violations. On the Source pane, for every coding standard violation, Polyspace^® assigns a symbol to the keyword or identifier relevant to the violation.

Settings

Default: all

all-rules

Check for violations of CERT C rules only.

See the CERT C website for an explanation of the difference between rules and recommendations.

List of CERT-C rules that Polyspace checks when you use all-rules

CERT C: Rule ARR30-C

CERT C: Rule ARR32-C

CERT C: Rule ARR36-C

CERT C: Rule ARR37-C

CERT C: Rule ARR38-C

CERT C: Rule ARR39-C

CERT C: Rule CON30-C

CERT C: Rule CON31-C

CERT C: Rule CON32-C

CERT C: Rule CON33-C

CERT C: Rule CON35-C

CERT C: Rule CON36-C

CERT C: Rule CON37-C

CERT C: Rule CON40-C

CERT C: Rule CON41-C

CERT C: Rule CON43-C

CERT C: Rule DCL30-C

CERT C: Rule DCL31-C

CERT C: Rule DCL36-C

CERT C: Rule DCL37-C

CERT C: Rule DCL38-C

CERT C: Rule DCL39-C

CERT C: Rule DCL40-C

CERT C: Rule DCL41-C

CERT C: Rule ENV30-C

CERT C: Rule ENV31-C

CERT C: Rule ENV32-C

CERT C: Rule ENV33-C

CERT C: Rule ENV34-C

CERT C: Rule ERR30-C

CERT C: Rule ERR32-C

CERT C: Rule ERR33-C

CERT C: Rule ERR34-C

CERT C: Rule EXP30-C

CERT C: Rule EXP32-C

CERT C: Rule EXP33-C

CERT C: Rule EXP34-C

CERT C: Rule EXP35-C

CERT C: Rule EXP36-C

CERT C: Rule EXP37-C

CERT C: Rule EXP39-C

CERT C: Rule EXP40-C

CERT C: Rule EXP42-C

CERT C: Rule EXP43-C

CERT C: Rule EXP44-C

CERT C: Rule EXP45-C

CERT C: Rule EXP46-C

CERT C: Rule EXP47-C

CERT C: Rule FIO30-C

CERT C: Rule FIO32-C

CERT C: Rule FIO34-C

CERT C: Rule FIO37-C

CERT C: Rule FIO38-C

CERT C: Rule FIO39-C

CERT C: Rule FIO40-C

CERT C: Rule FIO41-C

CERT C: Rule FIO42-C

CERT C: Rule FIO44-C

CERT C: Rule FIO45-C

CERT C: Rule FIO46-C

CERT C: Rule FIO47-C

CERT C: Rule FLP30-C

CERT C: Rule FLP32-C

CERT C: Rule FLP34-C

CERT C: Rule FLP36-C

CERT C: Rule FLP37-C

CERT C: Rule INT30-C

CERT C: Rule INT31-C

CERT C: Rule INT32-C

CERT C: Rule INT33-C

CERT C: Rule INT34-C

CERT C: Rule INT35-C

CERT C: Rule INT36-C

CERT C: Rule MEM30-C

CERT C: Rule MEM31-C

CERT C: Rule MEM33-C

CERT C: Rule MEM34-C

CERT C: Rule MEM35-C

CERT C: Rule MEM36-C

CERT C: Rule MSC30-C

CERT C: Rule MSC32-C

CERT C: Rule MSC33-C

CERT C: Rule MSC37-C

CERT C: Rule MSC38-C

CERT C: Rule MSC39-C

CERT C: Rule MSC40-C

CERT C: Rule POS30-C

CERT C: Rule POS33-C (deprecated)

CERT C: Rule POS34-C

CERT C: Rule POS35-C

CERT C: Rule POS36-C

CERT C: Rule POS37-C

CERT C: Rule POS38-C

CERT C: Rule POS39-C

CERT C: Rule POS44-C

CERT C: Rule POS48-C

CERT C: Rule POS49-C

CERT C: Rule POS51-C

CERT C: Rule POS52-C

CERT C: Rule POS54-C

CERT C: Rule PRE30-C

CERT C: Rule PRE31-C

CERT C: Rule PRE32-C

CERT C: Rule SIG30-C

CERT C: Rule SIG31-C

CERT C: Rule SIG34-C

CERT C: Rule SIG35-C

CERT C: Rule STR30-C

CERT C: Rule STR31-C

CERT C: Rule STR32-C

CERT C: Rule STR34-C

CERT C: Rule STR37-C

CERT C: Rule STR38-C

CERT C: Rule WIN30-C

publish-2016

Check for violations of CERT C rules only, as defined in the 2016 edition of the SEI CERT C Coding Standard.

See the CERT C website for an explanation of the difference between rules and recommendations.

List of CERT-C rules that Polyspace checks when you use publish-2016

CERT C: Rule ARR30-C

CERT C: Rule ARR32-C

CERT C: Rule ARR36-C

CERT C: Rule ARR37-C

CERT C: Rule ARR38-C

CERT C: Rule ARR39-C

CERT C: Rule CON30-C

CERT C: Rule CON31-C

CERT C: Rule CON32-C

CERT C: Rule CON33-C

CERT C: Rule CON35-C

CERT C: Rule CON36-C

CERT C: Rule CON37-C

CERT C: Rule CON40-C

CERT C: Rule CON41-C

CERT C: Rule DCL30-C

CERT C: Rule DCL31-C

CERT C: Rule DCL36-C

CERT C: Rule DCL37-C

CERT C: Rule DCL38-C

CERT C: Rule DCL39-C

CERT C: Rule DCL40-C

CERT C: Rule DCL41-C

CERT C: Rule ENV30-C

CERT C: Rule ENV31-C

CERT C: Rule ENV32-C

CERT C: Rule ENV33-C

CERT C: Rule ENV34-C

CERT C: Rule ERR30-C

CERT C: Rule ERR32-C

CERT C: Rule ERR33-C

CERT C: Rule EXP30-C

CERT C: Rule EXP32-C

CERT C: Rule EXP33-C

CERT C: Rule EXP34-C

CERT C: Rule EXP35-C

CERT C: Rule EXP36-C

CERT C: Rule EXP37-C

CERT C: Rule EXP39-C

CERT C: Rule EXP40-C

CERT C: Rule EXP42-C

CERT C: Rule EXP43-C

CERT C: Rule EXP44-C

CERT C: Rule EXP45-C

CERT C: Rule EXP46-C

CERT C: Rule FIO30-C

CERT C: Rule FIO32-C

CERT C: Rule FIO34-C

CERT C: Rule FIO37-C

CERT C: Rule FIO38-C

CERT C: Rule FIO39-C

CERT C: Rule FIO40-C

CERT C: Rule FIO41-C

CERT C: Rule FIO42-C

CERT C: Rule FIO44-C

CERT C: Rule FIO45-C

CERT C: Rule FIO46-C

CERT C: Rule FIO47-C

CERT C: Rule FLP30-C

CERT C: Rule FLP32-C

CERT C: Rule FLP34-C

CERT C: Rule FLP36-C

CERT C: Rule FLP37-C

CERT C: Rule INT30-C

CERT C: Rule INT31-C

CERT C: Rule INT32-C

CERT C: Rule INT33-C

CERT C: Rule INT34-C

CERT C: Rule INT35-C

CERT C: Rule INT36-C

CERT C: Rule MEM30-C

CERT C: Rule MEM31-C

CERT C: Rule MEM33-C

CERT C: Rule MEM34-C

CERT C: Rule MEM35-C

CERT C: Rule MEM36-C

CERT C: Rule MSC30-C

CERT C: Rule MSC32-C

CERT C: Rule MSC33-C

CERT C: Rule MSC37-C

CERT C: Rule MSC38-C

CERT C: Rule MSC39-C

CERT C: Rule MSC40-C

CERT C: Rule PRE30-C

CERT C: Rule PRE31-C

CERT C: Rule PRE32-C

CERT C: Rule SIG30-C

CERT C: Rule SIG31-C

CERT C: Rule SIG34-C

CERT C: Rule SIG35-C

CERT C: Rule STR30-C

CERT C: Rule STR31-C

CERT C: Rule STR32-C

CERT C: Rule STR34-C

CERT C: Rule STR37-C

CERT C: Rule STR38-C

all

Check for violations of all CERT C rules and recommendations supported by Polyspace.

See CERT C Rules and Recommendations.

from-file

Specify an XML file where you configure a custom selection of checkers for this coding standard. To create a configuration file, click , then select the rules and recommendations you want to check for this coding standard from the right pane of the Checkers selection window. Save the file.

To use or update an existing configuration file, in the Checkers selection window, enter the full path to the file in the field provided or click Browse.

If you set the option to from-file, enable Set checkers by file (-checkers-selection-file).

Dependencies

• This option is available only if you set Source code language (-lang) to C or C-CPP.

  For projects with mixed C and C++ code, the SEI CERT-C checker analyzes only .c files.

Command-Line Information

Use the command -cert-c in the command line to check for violations of CERT C rules and recommendations.

Parameter: -cert-c

Value: all-rules | publish-2016 | all | from-file

Example (Bug Finder): polyspace-bug-finder -lang c -sources file_name -cert-c all-rules

Example (Bug Finder Server): polyspace-bug-finder-server -lang c -sources file_name -cert-c all-rules

Alternatively, enable all or specific CERT C rules and recommendations through a checkers activation XML file. See Checkers activation file (-checkers-activation-file).

Version History

R2026b: Parameter from-file will be removed

The parameter from-file will be removed in a future release. You use this parameter in conjunction with the option Set checkers by file (-checkers-selection-file) to select the coding rules specified in the selection file. Instead, use the option Checkers activation file (-checkers-activation-file) to activate a set of coding rules and defects.