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