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
R2025bOptions 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 Support of CWE Rules and Categories
Lookup the CWE rules and categories supported by Polyspace.
