Configure Checks
Configure your analysis to detect various Polyspace®
Bug Finder™ defects and coding rules
By default, Polyspace Bug Finder checks for a set of predefined defects in your code. Configure the analysis to run additional checks. For example:
Check for violations of various coding rules by specifying the subset you want to enable.
Calculate a specific set of code metrics.
Specify the multitasking library you use.
Check for a specific set of Bug Finder defects.
Categories
- Configure Coding Rule Checks and Code Metrics
Activate MISRA™, AUTOSAR, CERT®, and JSF® coding rule sets, custom coding rules, and code metrics
- Configure Multitasking Checks
Specify multitasking constructs used in your code, such as entry points, interrupts, cyclic tasks, and temporally exclusive tasks
- Configure Bug Finder Defect Checkers
Specify sets of Polyspace Bug Finder defect checkers
