La traducción de esta página aún no se ha actualizado a la versión más reciente. Haga clic aquí para ver la última versión en inglés.

Análisis de Bug Finder en la interfaz de usuario de la plataforma Polyspace

Compruebe código C/C++ en busca de defectos en la interfaz de usuario de la plataforma Polyspace®

La plataforma Polyspace es un entorno integrado que admite análisis estáticos y pruebas dinámicas de código C/C++ con productos de Polyspace. En la interfaz de usuario de la plataforma Polyspace, puede crear un proyecto, añadir archivos fuente, configurar comprobadores y ejecutar un análisis de Bug Finder.

Opciones de Polyspace

expandir todo

Información básica

NombreSee name of Polyspace Platform project (Desde R2024a)
AutorSpecify author name for Polyspace Platform project
CreadoSee date and time when Polyspace Platform project was created (Desde R2024a)
Última modificaciónSee date and time when Polyspace Platform project was last modified (Desde R2024a)
Codificación del código fuente (-sources-encoding)Specify the encoding of source files

Archivos fuente y carpetas de inclusión

Carpetas fuente de aplicaciónAdd source folders to Polyspace Platform project (Desde R2024a)
Archivos fuente de aplicaciónAdd source files to Polyspace Platform project
Rutas de inclusiónSpecify paths to folders containing include files

Inclusiones y exclusiones de archivos

Patrones de nombres de archivos de inclusiónSpecify patterns for file names to be included in Polyspace Platform project (Desde R2024a)
Rutas de exclusiónSpecify folders or files to be excluded from static analysis or testing (Desde R2024a)

Variables de entorno

Variables de proyectoDefine environment variables for use as shorthands in Polyspace Platform project (Desde R2024a)

Objetivo y compilador

Lenguaje de código fuente (-lang)Specify language of source files
Versión estándar de C (-c-version)Specify C language standard followed in source code
Versión estándar de C++ (-cpp-version)Specify C++ language standard followed in source code
ProcesadorSelect the processor for the current build configuration
Cadena de herramientas de compilación (análisis estáticos)Specify the compiler that you use to build your source code for static analysis
Redondear hacia abajo los resultados de divisiones de enteros negativos (-div-round-down)Specify that your compiler rounds down a negative quotient from dividing two integers (Desde R2023b)
Valor de alineación de empaquetado (-pack-alignment-value)Specify default structure packing alignment for code developed in Visual C++
Desplazamiento a la derecha de enteros con signo como desplazamiento aritmético (-logical-signed-right-shift)Specify that your compiler implements right shifts on signed integers as arithmetic shifts (Desde R2023b)
Definiciones del preprocesador (-D)Replace macros in preprocessed code
Definiciones de preprocesador desactivadas (-U)Undefine macros in preprocessed code
Inclusiones forzadas (-include)Specify files to be #include-d by every source file. (Desde R2023b)
Rutas de inclusión adicionales (-I)Specify build-specific include paths in addition to project-wide include paths (Desde R2024a)

Configuración del entorno

Detener el análisis si un archivo no compila (-stop-if-compile-error)Specify that a compilation error must stop the analysis
Comando/script para aplicarlo a los archivos preprocesados (-post-preprocessing-command)Specify command or script to run on source files after preprocessing phase of analysis
Código del sistema de archivos DOS o Windows (-dos)Consider that file paths are in MS-DOS style

Entradas y procesamiento con stubs

Configuración de límites (-data-range-specifications)Constrain global variables, function inputs and return values of stubbed functions
Ignorar la inicialización por defecto de variables globales (-no-def-init-glob)Consider global variables as uninitialized unless explicitly initialized in code
Funciones que se desea procesar con stubs (-functions-to-stub)Specify functions to stub during analysis
Bibliotecas utilizadas (-library)Specify libraries that you use in your program

Multitarea

Especificar configuración de multitarea mediante archivoSpecify if you want to setup multitasking configuration by using an external file. (Desde R2023b)
Archivo externo para multitareaSpecify which supported external file format you want to use to set up your multitasking configuration. (Desde R2023b)
Configurar multitarea manualmenteConsider that code is intended for multitasking
Tareas (-entry-points)Specify functions that serve as tasks to your multitasking application
Tareas cíclicas (-cyclic-tasks)Specify functions that represent cyclic tasks
Interrupciones (-interrupts)Specify functions that represent nonpreemptable interrupts
Desactivar todas las interrupciones (-routine-disable-interrupts -routine-enable-interrupts)Specify routines that disable and reenable interrupts.
Detalles de la sección crítica (-critical-section-begin -critical-section-end)Specify functions that begin and end critical sections
Tareas temporalmente exclusivas (-temporal-exclusions-file)Specify entry point functions that cannot execute concurrently

Defectos y estándares de codificación

Usar un archivo de comprobadores personalizadoSpecify that checkers must be specified using a checkers activation XML file. (Desde R2023b)
Archivo de activación de comprobadores (-checkers-activation-file)Activate custom combination of defects and coding rules for Polyspace Bug Finder analysis
Usar requisitos de código generado (-misra3-agc-mode)Check for violations of MISRA C:2012 rules and directives that apply to generated code
Usar requisitos de código generado (-misra-c-2023-agc-mode)Check for violations of MISRA C:2023 rules and directives that apply to generated code (Desde R2024a)
Calcular métricas de código (-code-metrics)Compute and display code complexity metrics
Generar resultados para fuentes y (-generate-results-for)Specify files on which you want analysis results
No generar resultados para (-do-not-generate-results-for)Specify files on which you do not want analysis results

Comportamiento de los comprobadores

Tipos booleanos efectivos (-boolean-types)Specify data types that coding rule checker must treat as effectively Boolean
Pragmas permitidos (-allowed-pragmas)Specify pragma directives that are documented
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

Creación de informes

Generar un informeSpecify whether to generate a report after the analysis
Plantilla de informe (Code Prover o Bug Finder)Specify template for generating analysis report
Formato de salida (-report-output-format)Specify output format of generated report

Configuración de cálculos

Límite de tiempo de verificación (-timeout)Specify a time limit on your analysis

Avanzada

Comando/script que se desea aplicar al finalizar la verificación de código (-post-analysis-command)Specify command or script to be executed after analysis
OtrosSpecify additional command-line flags for static analysis

Comandos del sistema

polyspace-project -diff, polyspace-project -merge(System Command) Compare and merge Polyspace Platform projects, workspaces, configurations and tests before submission to source control
polyspace-project -convert-psprj-to-workspace(System Command) Convert Polyspace project file to Polyspace Platform workspace file and project files
polyspace-project -generate-launching-script-for(System Command) Generate files needed to run static analysis on a Polyspace Platform project

Temas

Introducción

Crear y actualizar un proyecto

Configurar proyecto

Comprobar si hay infracciones de los estándares de codificación

Interfaz de usuario de la plataforma Polyspace

Almacenamiento de archivos