Run Polyspace as You Code in Visual Studio and Review Results

Configure Polyspace as You Code extension in Visual Studio, run analysis, see results

These topics describe how to run a single-file analysis in Visual Studio IDE using Polyspace as You Code. For Polyspace desktop products such as Polyspace Bug Finder, see Create Polyspace Projects from Visual Studio Build.

In Visual Studio, with the Polyspace as You Code extension, you can run a single-file analysis on file save or explicitly. The analysis checks the currently active file for defects (bugs), coding standard violations and other issues. The analysis results appear as source code markers and in a separate list.

Topics

Usage

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

Look up the Polyspace^® code annotation syntax for justifying known issues.
- Short Names of Bug Finder Defect Groups and Defect Checkers

Installation and 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 (Polyspace Access)
Configure Polyspace as You Code Extension in Visual Studio (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 (Polyspace Access)
Extract build configuration information from solution, build command, or JSON compilation database.
Configure Checkers for Polyspace as You Code in Visual Studio (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 (Polyspace Access)
Get baseline and focus on new results only, import review information, get integration context information.