Main Content

Run Polyspace as You Code in Visual Studio and Review Results

You can choose to run Polyspace® as You Code automatically every time you save your code in Visual Studio®, or manually. The analysis runs on the file that is currently active in the IDE. (The file must be part of a Visual Studio project, which can be part of a Visual Studio solution.) After analysis, you see bugs and coding standard violations as source code markers or in a separate list.

Confirm Installation of Extension

To confirm that your Visual Studio installation has the Polyspace as You Code extension, check the list of installed extensions. Select Extensions > Manage Extensions and confirm Polyspace as You Code appears in the Installed pane.

You can also confirm that the extension starts as expected in the Output view. In the Output view, select Polyspace as You Code from the Show output from list. If the extension starts without errors, you see a message similar to this one:

[Information] No setting set for the port. Trying to find a free port.
[Information] Connector was successfully started on port 51294

The Polyspace Connector is an internal server that handles communication between the Polyspace as You Code analysis engine and the Visual Studio extension. If the default port is not available, the extension increments the port number by 1 and attempts to start the Polyspace Connector on this port. If you use multiple Visual Studio instances, you can run Polyspace as You Code on all the instances. The Polyspace Connector uses a different port for each instance.

Open Polyspace as You Code Perspective

The Polyspace as You Code extension has a dedicated perspective in Visual Studio that groups all the relevant Polyspace views.

To open the Polyspace as You Code perspective, select Extensions > Polyspace > Open Polyspace Windows

The different views in the Polyspace as You Code perspective show information about the state of your configuration and about the files that you select for analysis. For more information, click Open Polyspace Documentation icon in the Configuration or Quality Monitoring view to open the documentation.

Quality Monitoring View

The Quality Monitoring view shows all the files that you have selected for analysis, along with the status of the analysis and number of findings for each file.

To analyze a file, select the file and click Run Analysis. You can also start a sequential file-by-file analysis by clicking Analyze all files.

Click Configure settings icon to configure adding files to the Quality Monitoring view when you save the file. See Configure Polyspace as You Code Extension in Visual Studio. To add a file manually, right-click the file in the editor or in the Solution Explorer.

Headers View

When you analyze a file, Polyspace also analyzes the header files that are included by the file and that are in the same folder as the file. If Polyspace reports findings in a header file, you see an H next to the analyzed file in the Quality Monitoring view. Click the analyzed file in that view to list the headers file in the Headers view.

Polyspace as You Code Headers view in Visual Studio

You see header files in the list only if they contain findings. Click the file in the Headers view to open its findings in the Error List view.

Error List View

The Error List view shows the all the analysis findings, listed one finding per line. Each line shows additional information, such as:

  • The name of the defect or coding rule, family, and description

  • Name of the file containing the finding

  • Review information

The findings are grouped by results family. To change the grouping or to view findings in a flat list, right-click in the Error List view and select Grouping. Select a column header to sort by.

Polyspace as You Code Error List view in Visual Studio

Result Details View

When you select a finding in the Error List view or in the editor, the Result Details view shows additional information about the finding, including (when available) the traceback and the review information imported from the baseline.

If you select multiple lines of code, the Result Details view shows the result details for all the findings in the selection. Click Visual Studio help to view contextual help about the selected finding.

To lock this view while you browse findings in the source code or the Error List view, click Lock the Results List icon. The Result Details view does not update when you select a different finding. Click Lock the Results List icon again to unlock the Result Details view.

Configuration View

The Configuration view shows the current analysis settings and the status of the generated build options, if applicable. You can perform these actions using the icons in the Configuration view:

Baseline View

The Baseline view shows whether you are using the baseline or not and the status of the baseline download, if applicable. If you configure the baseline settings, you see information about the Polyspace Access server and the project you use as a baseline. See Set Baseline Polyspace as You Code Results in Visual Studio.

In the Baseline view, you can:

  • Click Download Baseline icon to download or update a baseline.

  • Click Configure settings icon to open the baseline settings.

If the results from the baseline run are generated with a Polyspace version that is older than your Polyspace as You Code version, the Baseline view shows a warning.

Run Analysis

You can run a Polyspace as You Code analysis in two ways: when you save a file that is in the Quality Monitoring view, or manually.

Run Analysis On Save

By default, the Polyspace as You Code extension adds the current file to the Quality Monitoring view when you save the file, but does not start the analysis.

To enable the analysis of the current file when you save the file, click Configure settings icon in the Quality Monitoring view and in the Options dialog box, select Start analysis on save.

After analysis, source code lines that contain findings appear with red underlines. You also see the finding locations as red marks on the scroll bar. Double-click a finding in the Error List view to navigate to the corresponding source code. If the analysis fails, check the messages in the Output view to diagnose the cause of the failure.

If results do not appear, see Troubleshoot Failed Analysis or Unexpected Results in Polyspace as You Code.

Run Analysis Manually

To disable starting an analysis when you save a file, select Tools > Options to open the Options dialog box, select the Polyspace as You Code > Analysis Options node, and then clear the Start analysis on save checkbox. To start an analysis manually, do one of the following:

  • Click Run Polyspace Analysis icon in the Quality Monitoring view to run an analysis on the selected file.

  • Click Analyze all files sequentially icon in the Quality Monitoring view to run analysis sequentially on each file in the Quality Monitoring list.

  • Right-click the file in the editor and select Polyspace > Run Polyspace Analysis to run an analysis on the file open in the editor.

Review Results

After analysis, you see the results in two forms:

  • As red underlines in the source code.

  • As a list in the Error List view. If you select a finding in the Error List view, you see additional details about the finding in the Result Details view. Click Visual Studio help button icon to open the contextual help for the currently selected finding.

Justify Results Using Code Annotations

If you decide not to fix a result, you can justify the result by adding code annotations. If the annotations follow a specific syntax, subsequent Polyspace as You Code runs can read these annotations and suppress the corresponding result.

  • To add a code annotation, right-click a finding in the Error List view and select Polyspace > Justify the current result. The annotation is entered on the same line as the finding. You can also apply an annotation by pointing to the code marker for that result.

  • To justify all findings of the same defect or coding rule violation in the current file, right-click a finding in the Error List view and select Polyspace > Justify all instances of the selected finding. Polyspace inserts an annotation in your code on each line that contains this finding.

  • If you import review information from a baseline run, any status, severity, or comment from the baseline run is automatically applied to the corresponding Polyspace as You Code finding.

    Findings with an imported status of Not a defect, Justified, or No action planned are removed from the Error List view and those findings are suppressed in subsequent analyses.

If you select multiple lines of code, you can justify each result in the selected code by right-clicking in the Error List view, and then selecting the Polyspace > Justify the current result.

Polyspace as You Code inserts code annotations as comments enclosed in /* */ or C files and prefixed with // in C++ files. The comment format in C files complies with MISRA C:2004 Rule 2.2. See MISRA C:2004 and MISRA AC AGC Rules (Polyspace Bug Finder).

See also:

View Context-Sensitive Help for Result

You can see more information on a type of result by visiting the context-sensitive help page for the result.

To open the context-sensitive help for a finding, select that finding in your code or in the Error List, and then click Visual Studio help icon in the Result Details view.

You can also open the full searchable documentation for the Polyspace as You Code extension in your system browser by clicking Visual Studio open Polyspace documentation icon in the Baseline, Configuration, or Quality Monitoring view.

Configure Checkers and Other Settings

Polyspace as You Code checks for a default subset of defects, but you can expand the set of checkers and perform other configuration through the Polyspace as You Code extension settings in Visual Studio.

For example, you can:

To open the extension settings, select Tools > Options to open the Options dialog box, and then select the Polyspace as You Code node. For the full list of settings, see Configure Polyspace as You Code Extension in Visual Studio.