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

Proyecto

Información básica

`Nombre`	See name of Polyspace Platform project (Desde R2024a)
`Autor`	Specify author name for Polyspace Platform project (Desde R2024a)
`Creado`	See date and time when Polyspace Platform project was created (Desde R2024a)
`Última modificación`	See 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ón`	Add source folders to Polyspace Platform project (Desde R2024a)
`Archivos fuente de aplicación`	Add source files to Polyspace Platform project (Desde R2024a)
`Rutas de inclusión`	Specify paths to folders containing include files (Desde R2023b)

Inclusiones y exclusiones de archivos

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

Variables de entorno

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

Compilación

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
`Procesador`	Select 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)

Análisis estáticos

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 (Desde R2021a)

Multitarea

`Especificar configuración de multitarea mediante archivo`	Specify if you want to setup multitasking configuration by using an external file. (Desde R2023b)
`Archivo externo para multitarea`	Specify which supported external file format you want to use to set up your multitasking configuration. (Desde R2023b)
`Configurar multitarea manualmente`	Consider 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 personalizado`	Specify that checkers must be specified using a checkers activation XML file. (Desde R2023b)
`Archivo de activación de comprobadores (-checkers-activation-file)`	Activate a custom combination of defects and coding rules for a Polyspace Bug Finder analysis (Desde R2021a)
`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 informe`	Specify 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
`Otros`	Specify additional command-line flags for static analysis

Comandos del sistema

`polyspace-project -diff, polyspace-project -merge`	(System Command) Compare and merge Polyspace Platform projects 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

Polyspace Platform: A Unified Platform for Static Analysis and Dynamic Testing
Polyspace Platform is an integrated environment for static analysis and testing of C/C++ code with Polyspace products.
Benefits and Limitations of Switching to Polyspace Platform User Interface
Import projects created in older user interface, run tests or static analysis on imported projects.
Run Static Analysis in Polyspace Platform User Interface
Run Polyspace analysis on your desktop in the Polyspace Platform user interface.
Generate Launching Script for a Polyspace Platform Project to Run Static Analysis from the Command Line
Run static analysis on a Polyspace Platform project from the command line.
Open Polyspace Results in Polyspace Platform User Interface
See all the ways you can open Polyspace results.

Crear y actualizar un proyecto

Create Project and Add Source Files in Polyspace Platform User Interface

Add source files using your build command or manually.
- Create Projects from Visual Studio in Polyspace Platform User Interface
- Create Separate Polyspace Platform Projects Based on Modularization in Build Command
Update Projects in Polyspace Platform User Interface
Update source files in Polyspace Platform projects.
Manage Related Projects in Polyspace Platform User Interface Using Workspaces
Create workspace from open projects, add projects to workspace, save workspace.
Classify Project Files into File Sets for Precise Control of Polyspace Analysis
Control precisely which files to include in analysis and how to analyze them.

Configurar proyecto

Configure Project for Static Analysis in Polyspace Platform User Interface
Specify targets and build information to build and run tests.
Polyspace Bug Finder Options in Polyspace Platform User Interface
Look up Polyspace Bug Finder™ static analysis options.
Differences in Configuration Options Between Polyspace Projects and Polyspace Platform Projects
Some options from the older Polyspace user interface have been remapped to different options in the Polyspace Platform user interface.

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

Check for and Review Coding Defects and Coding Standard Violations In Polyspace Platform
Check for C/C++ coding defects and violations of coding standards such as AUTOSAR C++14, CERT^® C, CERT C++, CWE, MISRA C™, MISRA™ C++, JSF AV C++, or ISO-17961 standards using the Polyspace platform user interface.
Check for Violations of User-Defined Coding Standard Using Polyspace Bug Finder
Run Bug Finder analyses to check for violations of user-defined coding standards. Review and address results in the Polyspace Platform user interface.
Create User-Defined Coding Standard by Using Polyspace Bug Finder Checkers
Map Bug Finder checkers to coding rules in a user-defined coding standard in a sharable .pschk file.
Find Polyspace Bug Finder Checkers That Map to Coding Rules in User-Defined Coding Standard
Find Bug Finder checkers that can check for the coding rules in your user-defined coding rule standard.

Interfaz de usuario de la plataforma Polyspace

Customize Polyspace Platform User Interface
Customize the default behavior of Polyspace Platform user interface.

Almacenamiento de archivos

Contents of Polyspace Platform Project Files and Results Folder
Learn about the various files generated from a Polyspace verification.
Storage of Temporary Files During Polyspace Analysis
Learn where Polyspace stores temporary files during an analysis.
Share Polyspace Platform Projects, Workspaces, and Configurations
Share Polyspace Platform projects with other users or submit projects to version control system.