Configure Bug Finder Defect Checkers

By default, Polyspace Bug Finder checks for a predefined set of defects. Activate a set of coding rules and defects by using the Checkers Selection window. Save the activated set of checkers in a checkers activation file (.xml) and then use the activation file in your subsequent analyses. See Checkers activation file (-checkers-activation-file)

Alternatively, enable checking for additional defects by using the analysis option -checkers. You can activate a set of defect checkers by specifying their short names in a comma separated list as input to the option. For example, -checkers DATA_RACE,TAINTED_HOSTID. To enable a set of checkers that look for a specific type of defect, specify the short name of the group as input. For example, enable the concurrency defect checkers by using the option -checkers concurrency. For a list of defect groups, see Bug Finder Defect Groups. For the short names of defect checkers and defect groups, see Short Names of Bug Finder Defect Groups and Defect Checkers.