Check ISO/IEC TS 17961 (-iso-17961
)
Check for violations of ISO/IEC TS 17961 rules
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.
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
, enableSet checkers by file (-checkers-selection-file)
.
Dependencies
This option is available only if you set
Source code language (-lang)
toC
orC-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 |
Example:
polyspace-bug-finder-server -lang c
-sources |
Example:
polyspace-code-prover-server -lang c -sources
|
Alternatively, enable all or specific ISO/IEC TS 17961 rules through a checkers activation XML file. See
Checkers activation file
(-checkers-activation-file)
.