Exécuter Polyspace as You Code dans Visual Studio Code et examiner les résultats

Configurer l’extension Polyspace^® as You Code dans Visual Studio Code, exécuter l’analyse, afficher les résultats

Visual Studio Code, associé à l'extension Polyspace as You Code, vous permet d’exécuter une analyse de fichier unique à l’enregistrement du fichier ou explicitement. L'analyse vérifie si le fichier actif présente des défauts (bugs), des infractions aux normes de codage et d'autres problèmes. Les résultats de l'analyse apparaissent sous forme de marqueurs de code source et dans une liste séparée.

Rubriques

Démarrer avec Polyspace as You Code dans Visual Studio Code

Perform Polyspace as You Code Analysis in Visual Studio Code (Polyspace Access)
Configure, run, and manage Polyspace as You Code in Visual Studio Code.

Utilisation

Run Polyspace as You Code in Visual Studio Code and Review Results (Polyspace Access)
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 Access)
- Short Names of Bug Finder Defect Groups and Defect Checkers

Installation et configuration

Install Polyspace as You Code Using Installer (Polyspace Access)

Install Polyspace as You Code analysis engine and IDE extensions.
- Install Polyspace as You Code Extension in Visual Studio Code (Polyspace Access)
Configure Polyspace as You Code Extension in Visual Studio Code (Polyspace Access)

Set Polyspace as You Code extension settings 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 Access)
Generate Build Options for Polyspace as You Code Analysis in Visual Studio Code (Polyspace Access)
Extract build configuration information from build task, build command, or JSON compilation database.
Configure Checkers for Polyspace as You Code in Visual Studio Code (Polyspace Access)

Create, modify, or import selection of Polyspace defect checkers and coding rule violations.
- Analysis Scope of Polyspace as You Code (Polyspace Access)
Set Baseline Polyspace as You Code Results in Visual Studio Code (Polyspace Access)
Get baseline and focus on new results only, import review information, get integration context information.