Bug Finder-Analyse
Analyseoptionen für die Suche nach Defekten
Um die Defekt-Checker zu aktivieren oder zu deaktivieren, verwenden Sie die Analyseoption in Bug Finder.
Polyspace-Optionen
Defekte suchen (-checkers -disable-checkers) | Enable or disable defect checkers |
Strenger Checks mit allen Werten der Systemeingaben (-checks-using-system-input-values) | Enable stricter checks and provide examples of values that lead to detected defect |
Eingaben zu diesen Funktionen berücksichtigen (-system-inputs-from) | Specify functions for which the analysis considers all possible input values |
Themen
- 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.
