Specific checker configuration

Coverity Documentation

Version
latest

Use the following keys to set options for specific checkers.

Key Type Description
enabled Boolean Specific checker to enable.

Default: true indicates that if the checker is present in the configuration, it is enabled. This key need only be specified to disable the checker.

options Map from String to String Options to set for the checker.

The map key is the name of the checker option and the string value is the setting to use for the option.