Eclipse: Configure Baseline Results in Polyspace as You Code

R2026b

For more efficient bug fixing, you can create a local baseline or download a previous Polyspace^® Bug Finder™ analysis from Polyspace Access™ to use as a baseline. You can compare your Polyspace as You Code™ single-file analysis results against your local baseline or Polyspace Access baseline and focus your review on new results or unreviewed results only.

Baselines contain only results from the Polyspace version used to perform the analysis. For example, a baseline from an earlier version of Polyspace might not contain the same results as an analysis from a later version. Polyspace as You Code displays a warning if you are using a baseline from a different version of Polyspace. You cannot use the results of a Polyspace Code Prover™ analysis as a baseline in Polyspace as You Code.

Note

To keep using the most up-to-date baseline information, make sure that you periodically run the command to download results from Polyspace Access. See Download Baseline.

Configure Local Baseline

A local baseline is a snapshot of the Polyspace results associated with a local file. You can compare your current results against the local baseline to see what has changed and verify that no new issues are being introduced.

To create a local baseline, right-click a file in the Project Explorer view or right-click in the editor and select Create a local baseline. You can also create a local baseline by right-clicking a file in the Quality Monitoring view and selecting Create a local baseline.

When you create a local baseline for a file, Polyspace analyzes the file and uses the analysis results as a baseline. The results of each subsequent analysis of the file are compared against the baseline.

Configure Polyspace Access Baseline

A Polyspace Access baseline is sourced from a Polyspace Access project containing Polyspace Bug Finder analysis results of your local file. Polyspace as You Code must be connected to Polyspace Access to use the baseline.

In order to configure a Polyspace Access baseline, you must have a Polyspace Access server login name and password along with an uploaded run of project results. The project must contain results from an analysis of the same file you are analyzing in Polyspace as You Code. Downloading a baseline from Polyspace Access requires a Polyspace Access license.

Configure Polyspace Access

Before you can download a Polyspace Access baseline, you need to configure your Polyspace Access server information in Eclipse™.

1. Click the configure settings icon in the Baseline view to open the Preferences window.

2. Enter the following information in the Baseline tab:

   1. Polyspace Access URL — The URL of the server that hosts Polyspace Access, for example, https://my-access-url:9443/.

   2. Polyspace Access Login — The username that you use to log in to Polyspace Access.

3. Click Connect. In the prompt that appears, enter the password associated with the username you entered in the previous step. You can choose to remember this password for automatic login in the future.

On a successful sign-in, the Polyspace Access Connection shows Connected. The Baseline view displays the full server URL alongside the status Connected.

To close the connection to Polyspace Access, click Disconnect in the Preferences window, or right-click Polyspace Access baselines in the Baseline pane and select Disconnect from Polyspace Access. The Polyspace Access URL you connected to is saved in the setting Polyspace Access URL. If you are connected to a Polyspace Access server when you close the IDE, upon reopening the same IDE later, Polyspace as You Code automatically attempts to reconnect to the same Polyspace Access server. To connect to a different Polyspace Access server, disconnect from the current Polyspace Access server then replace the URL from the setting Polyspace Access URL as well as the username in the Polyspace Access Login setting.

Select Project to Use as Baseline

After you configure your connection to Polyspace Access, you can select which Polyspace Access project to use as a baseline using the Project path section.

To add a project as a baseline, begin typing the project path for the project in the Project path section. A list of matching project paths appears. You can either continue typing the project path, or scroll through the list of project paths to find your project. Double-click the project path that shows in the list that you want to use as a baseline.

Click Apply after you have selected the project you want to use as a baseline. Polyspace displays the baseline you selected in the Baseline view under Polyspace Access baselines.

To remove a baseline from Polyspace as You Code, right-click the baseline in the Baseline view and select Remove Access baseline. Alternatively, from the Project path section, move a project from the right-side pane to the left-side pane to remove it as a baseline.

Download Baseline

Click the Download Polyspace Access baseline icon in the Baseline view to download the baseline for the configured Polyspace Access project. Alternatively, right-click the baseline in the Baseline view and select Download Polyspace Access Baseline.

Baselines that have never been downloaded show with the never been downloaded icon in the Baseline view. Downloaded baselines show with the downloaded icon .

Polyspace as You Code monitors your baseline to verify the run ID of the baseline matches the latest run ID in Polyspace Access. You can hover over a baseline to view details such as the run ID the baseline uses and the status of the baseline. Baselines that are outdated display the outdated icon in the Baseline pane. If you are disconnected from Polyspace Access, the status of the baseline is unknown and the baseline cannot be used during analysis. To keep using the most up-to-date baseline, periodically update your baseline by downloading the latest results from Polyspace Access. Click the Download Polyspace Access baseline icon any time you want to update your baseline with the latest results.

Compare Results Against Baseline

When you compare Polyspace as You Code results against a local or Polyspace Access baseline, by default only results that are new compared to the local baseline are shown. If you toggle the baseline filter to show all results, [baseline] appears next to results that appear in the baseline in the Polyspace Problems panel.

In addition, when you use a Polyspace Access baseline:

• Results that have a status of No Action Planned, Justified, or Not a Defect are hidden.

• Results that have a status of Unreviewed, To investigate, To fix, or Other on Polyspace Access carry over all review information to the Result Details view, including status, severity, assignee, and comments.

  For example, if a defect has been reviewed and assigned a status of To investigate and a severity of Medium, the same review information appears in the Result Details view by expanding the Comments section.

• The Problems view includes an Assignee column that shows who is assigned to each finding in Polyspace Access.

• Findings that exist in Polyspace Access are marked with an icon in the Result Details view.

• If a Polyspace as You Code result also appears in the Polyspace Access baseline, you can open the result directly in the Polyspace Access web interface. Right-click the finding in the Problems view or the Result Details view and select Open result in Polyspace Access web interface.

  To open the project that you use as a baseline in the Polyspace Access interface, click the arrow next to in the Baseline view and select Open project in Polyspace Access web interface.

Hover over a file in the Quality Monitoring list to view which local or Polyspace Access baselines are associated with that file. If a Polyspace Access baseline is associated with the file, the name of the Polyspace Access project the baseline is from is displayed.

In order to keep baselines persistent between sessions of Eclipse, Polyspace stores both local and Polyspace Access baselines in your current working directory. If no path is specified in the Polyspace as You Code settings, the extension uses the subfolder polyspace_as_you_code in your system's temp folder.