Use custom checkers file

Specify that checkers must be specified using a checkers activation XML file.

Since R2023b

Description

The option with this name is available only in the Polyspace Platform (Polyspace Test) user interface. For the equivalent options in the standard Polyspace® user interface, see Set checkers by file (-checkers-selection-file) (coding standard checkers) or Find defects (-checkers -disable-checkers) (defect checkers).

Specify whether you want to use activation files to enable a custom set of Polyspace Bug Finder™ defect checkers and coding rule checkers.

Set Option

In your Polyspace Platform project configuration, on the Static Analysis tab, select the Defects and Coding Standards node and then select this option.

Why Use This Option

Checkers activation files are XML files that activate a curated selection of Bug Finder defect and coding rule checkers in a Bug Finder analysis. Setting this option to (On) allows you to specify a new or preexisting activation file in the field Checkers activation file (-checkers-activation-file).

Settings

On

Polyspace enables the option Checkers activation file (-checkers-activation-file).

Off (default)

Polyspace keeps the field Checkers activation file (-checkers-activation-file) disabled.

Command-Line Information

There is no command-line option to enable using checker activation files. Use the command -checkers-activation-files to directly specify checkers activation files at the command line.

Version History

Introduced in R2023b

See Also

|

Topics