Esta página es para la versión anterior. La página correspondiente en inglés ha sido eliminada en la versión actual.
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.
- Polyspace Support of CWE Categories
Group CWE results by category.
