Esta página es para la versión anterior. La página correspondiente en inglés ha sido eliminada en la versión actual.

Ejecutar Polyspace as You Code en Visual Studio Code y revisar resultados

R2025b

Configure la extensión de Polyspace^® as You Code en Visual Studio Code, ejecute un análisis y consulte los resultados

En Visual Studio Code, con la extensión de Polyspace as You Code, puede ejecutar un análisis de un solo archivo al guardar el archivo o de forma explícita. El análisis comprueba el archivo activo en busca de defectos (bugs), infracciones de los estándares de codificación y otros problemas. Los resultados del análisis aparecen como marcadores de código fuente y en una lista independiente.

Temas

Introducción a Polyspace as You Code en Visual Studio Code

Uso

Run Polyspace as You Code in Visual Studio Code and Review Results (Polyspace as You Code)
View Polyspace results as source code markers or in a list in Visual Studio Code editor, fix issues, or justify results.
Annotate Code and Hide Known or Acceptable Results

Look up the Polyspace code annotation syntax for justifying known issues.
- Use a Justification Catalog to Autocomplete Annotations in Polyspace as You Code Plugins (Polyspace as You Code)
- Short Names of Bug Finder Defect Groups and Defect Checkers

Instalación y configuración

Install Polyspace as You Code (Polyspace as You Code)

Install Polyspace as You Code™ analysis engine.
- Visual Studio Code: Install Polyspace as You Code Extension (Polyspace as You Code)
Visual Studio Code: Configure Polyspace as You Code Extension (Polyspace as You Code)

Set Polyspace as You Code extension settings in Visual Studio Code such as analysis launch mode and build configuration.
- Options Files for Polyspace Analysis
- Troubleshoot Failed Analysis or Unexpected Results in Polyspace as You Code (Polyspace as You Code)
Visual Studio Code: Generate Build Options for Polyspace as You Code (Polyspace as You Code)
Extract build configuration information from build task, build command, or JSON compilation database.
Visual Studio Code: Configure Checkers and Coding Rules in Polyspace as You Code (Polyspace as You Code)

Create, modify, or import selection of Polyspace defect checkers and coding rule violations in Visual Studio Code.
- Analysis Scope of Polyspace as You Code (Polyspace as You Code)
Visual Studio Code: Configure Baseline Results in Polyspace as You Code (Polyspace as You Code)
Create a result baseline in Visual Studio Code to help focus Polyspace as You Code review on new Polyspace results and compare against the baseline results.