Bug Finder Analysis

Analysis options for finding defects

To enable or disable defect checkers, use the Bug Finder analysis option.

Polyspace Options

`Find defects (-checkers -disable-checkers)`	Enable or disable defect checkers
`Run stricter checks considering all values of system inputs (-checks-using-system-input-values)`	Enable stricter checks and provide examples of values that lead to detected defect (Since R2020a)
`Consider inputs to these functions (-system-inputs-from)`	Specify functions for which the analysis considers all possible input values (Since R2020a)

Specify Polyspace Analysis Options
Specify Polyspace^® analysis options in Polyspace user interface, other IDE-s or scripts.
Choose Specific Bug Finder Defect Checkers

Check for specific defects in Bug Finder instead of using the default checkers.
- Bug Finder Defect Groups
- Short Names of Bug Finder Defect Groups and Defect Checkers
Prepare Checkers Configuration for Polyspace Bug Finder Analysis
Deploy common checkers configuration to enforce uniform standards, mix defect and coding rule checkers.
Modify Default Behavior of Bug Finder Checkers

Extend or constrain the default behavior of defect or coding standard checkers using Polyspace analysis options.
Polyspace Bug Finder Defects Checkers Enabled by Default

Look up list of Bug Finder checkers that are enabled by default.
- Bug Finder Results Found in Fast Analysis Mode
CWE Coding Standard Coverage Using Polyspace
Group CWE results by category and view list of all-exact-checkers.