Análisis de Bug Finder
Opciones de análisis para encontrar defectos
Para activar o desactivar los comprobadores de defectos, utilice la opción de análisis Bug Finder.
Opciones de Polyspace
Encontrar defectos (-checkers -disable-checkers) | Enable or disable defect checkers |
Ejecutar comprobaciones más estrictas considerando todos los valores de las entradas del sistema (-checks-using-system-input-values) | Enable stricter checks and provide examples of values that lead to detected defect |
Considerar entradas dentro de estas funciones (-system-inputs-from) | Specify functions for which the analysis considers all possible input values |
Temas
- 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.
