Cette page s'applique à la version précédente. La page correspondante en anglais a été supprimée de la version actuelle.
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.
- Polyspace Support of CWE Categories
Group CWE results by category.
