Analisi Bug Finder
Opzioni di analisi per individuare i difetti
Per abilitare o disabilitare i checker dei difetti, utilizzare l'opzione di analisi Bug Finder.
Opzioni Polyspace
Individuare i difetti (-checkers -disable-checkers) | Enable or disable defect checkers |
Eseguire controlli più rigorosi considerando tutti i valori di input del sistema (-checks-using-system-input-values) | Enable stricter checks and provide examples of values that lead to detected defect |
Considerare gli input a queste funzioni (-system-inputs-from) | Specify functions for which the analysis considers all possible input values |
Argomenti
- 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.
