Analyse Bug Finder
Options d’analyse permettant de détecter les défauts
Pour activer ou désactiver les contrôleurs de défauts, utilisez l'option d'analyse Bug Finder.
Options Polyspace
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 |
Consider inputs to these functions (-system-inputs-from) | Specify functions for which the analysis considers all possible input values |
Rubriques
- 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.
- 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.
- Modify Bug Finder Checkers Through Code Behavior Specifications
- Flag Deprecated or Unsafe Functions, Keywords, or Macros Using Bug Finder Checkers
- Extend Bug Finder Checkers for Standard Library Functions to Custom Libraries
- Extend Bug Finder Checkers to Find Defects from Specific System Input Values
- Extend Concurrency Defect Checkers to Unsupported Multithreading Environments
- Extend Checkers for Initialization to Check Function Arguments Passed by Pointers
- Extend Data Race Checkers to Atomic Operations
- Polyspace Bug Finder Defects Checkers Enabled by Default
Look up list of Bug Finder checkers that are enabled by default.
- CWE Coding Standard Coverage Using Polyspace
Group CWE results by category and view list of
all-exact-checkers.
