Main Content

Find defects (-checkers -disable-checkers)

Enable or disable defect checkers

Description

This option affects a Bug Finder analysis only.

Enable checkers for bugs/coding defects.

Set Option

User interface (desktop products only): In your project configuration, the option is on the Bug Finder Analysis node.

User interface (Polyspace Platform, desktop products only): This option does not exist in your 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 -checkers. See Command-Line Information.

Why Use This Option

The default set of checkers is designed to find the most meaningful bugs in most software development situations. If you have specific needs, enable or disable individual defect checkers. For instance, if you want to follow a specific security standard, choose a different subset of checkers.

Settings

Default: default

default

A subset of defects defined by the software.

See Polyspace Bug Finder Defects Checkers Enabled by Default.

all

All defects.

For a list of all defects checkers, see Defects.

Note that the checkers SQL injection and LDAP injection are disabled even if you specify all for this option. You have to explicitly enable these checkers.

custom

Choose the defects you want to find by selecting categories of checkers or specific defects.

Tips

You can use a spreadsheet to keep track of the defect checkers that you enable and add notes explaining why you do not enable the other checkers. A spreadsheet of checkers is provided in polyspaceroot\polyspace\resources. Here, polyspaceroot is the Polyspace® installation folder, such as C:\Program Files\Polyspace\R2024b.

Command-Line Information

Use the command -checkers in the command line to enable or disable defect checkers.

Regardless of order, the shell script processes the -checkers option, and then -disable-checkers option.

For the command-line parameters values, see Short Names of Bug Finder Defect Groups and Defect Checkers.

Parameter: -checkers
Value: default | all | none | Short Names of Bug Finder Defect Groups and Defect Checkers
Default: default
Parameter: -disable-checkers
Value: Short Names of Bug Finder Defect Groups and Defect Checkers
Example 1 (Bug Finder): polyspace-bug-finder -sources filename -checkers numerical,data_flow -disable-checkers FLOAT_ZERO_DIV
Example 2 (Bug Finder): polyspace-bug-finder -sources filename -checkers default -disable-checkers concurrency,dead_code
Example 1 (Bug Finder Server): polyspace-bug-finder-server -sources filename -checkers numerical,data_flow -disable-checkers FLOAT_ZERO_DIV
Example 2 (Bug Finder Server): polyspace-bug-finder-server -sources filename -checkers default -disable-checkers concurrency,dead_code

Alternatively, activate the defect checkers in an activation XML file. See Checkers activation file (-checkers-activation-file).

Version History

expand all

See Also

| |

Topics