Check ISO/IEC TS 17961 (-iso-17961)

Description

This option affects Bug Finder only.

Specify whether to check for violations of ISO/IEC TS 17961 rules.

Set Option

User interface (desktop products only): In your project configuration, the option is on the Coding Standards & Code Metrics node. See Dependencies for other options that you must also enable.

User interface (Polyspace Platform, 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 -iso-17961. See Command-Line Information.

Why Use This Option

Use this option to specify the subset of ISO/IEC TS 17961 rules to check for.

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

decidable

Check for violations of decidable rules. Violations of these rules depend only on compile-time static properties, for instance object type or scope of identifiers.

all

Check for violations of all ISO/IEC TS 17961 rules Polyspace supports.

See ISO/IEC TS 17961 Rules.

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.

Command-Line Information

Use the command -iso-17961 in the command line to check for violations of ISO^®/IEC TS 17961 rules.

Parameter: -iso-17961

Value:decidable | all | from-file

Example (Bug Finder):

polyspace-bug-finder -lang c -sources file_name
                    -iso-17961 decidable

Example:

polyspace-bug-finder-server -lang c
                    -sources file_name -iso-17961
                decidable

Example:

polyspace-code-prover-server -lang c -sources
                        file_name -iso-17961 decidable

Alternatively, enable all or specific ISO/IEC TS 17961 rules through a checkers activation XML file. See Checkers activation file (-checkers-activation-file).

Check ISO/IEC TS 17961 (`-iso-17961`)