Open Polyspace Results in Polyspace Platform User Interface

R2026b

The Polyspace Platform user interface allows you to run static analysis as well as dynamic tests on your C/C++ code. You can open these kinds of results from the user interface:

  • Defects and coding standard violations (results generated after a Polyspace® Bug Finder™ analysis)

  • Run-time errors (results generated after a Polyspace Code Prover™ analysis)

  • Test execution results (results generated after executing tests using Polyspace Test™ – graphical tests, xUnit tests or external tests)

  • Code coverage results (results generated after executing tests with code profiling enabled)

This topic describes how to open the results in the Polyspace Platform user interface.

Open Results After Runs on Project

If you run static analysis or tests from a project in the Polyspace Platform user interface, the results appear as new nodes in the Results pane.

For instance, the following snapshot of the Results pane shows the results of both static analysis and tests (completed in a single run using the Run Multiple button on the toolstrip). You can search for results within this pane and filter by result type.

Results pane shows four nodes corresponding to four types of results.

Each type of result has its own node. For example:

  • Coverage: Code coverage results (results generated after executing tests with code coverage enabled).

  • Run-Time Errors: Run-time errors (results generated after a Polyspace Code Prover analysis).

  • Issues: Defects and coding standard violations (results generated after a Polyspace Bug Finder analysis).

  • Tests: Test execution results (results generated after executing tests using Polyspace Test – graphical tests, xUnit tests or external tests).

From the Results pane, you can open the Dashboard perspective to see a summary of the results, or open the Review perspective to see result details. By default, double-clicking a result node in the Results pane opens the Dashboard perspective. If you prefer to open results in the Review perspective by default, open the Polyspace Platform Settings and select the option Open Review when opening result. Alternatively, you can always open a result in a specific perspective by selecting the node and choosing Open Dashboard or Open Review from the context menu or clicking the Dashboard or Review buttons in the toolstrip.

Instead of code coverage, you can also calculate the execution time and memory profile of your functions. Each such calculation leads to a dedicated node in the Results pane. However, you cannot review execution time or memory profiling results directly within the user interface. To review these types of results, generate and view an HTML report by right-clicking the node and selecting Open Review.

Open Results After Closing Project

If you close a project, results associated with the project are removed from the Results pane. When you reopen the project, the same set of results are displayed on the Results pane (unless you moved the result files on disk).

A Recent Results pane summarizes the latest results associated with the project. From here, open the Dashboard perspective by clicking on the name of a result type on the left, or open the Review perspective by clicking on a number on the right.

Recent Results pane showing latest results for the demo project

Note that the latest results might not all come from the most recent run on the project. For instance, if you only ran tests in the latest run but checked for issues (Polyspace Bug Finder) as well as ran tests in the last but one run, this dashboard shows the test results from the latest run but issues from the last but one run.

You can locate the result files for all runs on a project irrespective of whether they are currently associated with the project. To find result files using a project name:

  1. On the Polyspace Platform toolstrip, select Settings.

  2. Navigate to General > Projects and Folders. The Parent results folder location shows the name of the root folder containing results. If this field is empty, the project folder is used as the root folder for results.

    In your file explorer, within this root folder, find the folder projectNameResults, where projectName is the name of the project. This folder contains subfolders corresponding to a type of result:

    • Defects: Contains Polyspace Bug Finder results (.psbf file).

    • RTE: Contains Polyspace Code Prover results (.pscp file).

    • Tests: Contains Polyspace Test results (.pstestr file for test execution and .psprof file for code coverage).

    In your Polyspace Platform settings, you can choose whether to Keep results from all runs or to keep results from only the latest run.

    • If you keep results from all runs, the subfolder for each result type contains a timestamped run folder for each new run. For example, run_2026_01_07_094741. Open the subfolder corresponding to the last run to find the result file.

    • If you decide to save on disk space and keep results from only the most recent run, Polyspace stores the results in a run subfolder within the result type folder. For example, you can find the latest Polyspace Bug Finder results in projectName/projectNameResults/Defects/run.

    Note that if you save a project under a different name, your previous runs might still be stored in a result subfolder with the previous project name. The new name of the project will apply only to runs done after the renaming.

Open Results from File Explorer

You can open a result file directly in the Polyspace Platform user interface without an associated project. A result file is generated without a project if you run static analysis using the command polyspace-bug-finder or polyspace-code-prover, or run tests authored using the xUnit API at the command line.

To open a result file:

  1. On the Polyspace Platform toolstrip, select Open.

  2. Navigate to the location of the result file and click Open. The file chooser window shows project and workspace files, as well as the following types of Polyspace result files:

    • Polyspace Bug Finder result file with extension .psbf, containing defects and coding rule violations.

    • Polyspace Code Prover result file with extension .pscp, containing run-time errors.

    • Polyspace Test result file with extension .pstestr, containing test execution results.

    • Polyspace Test result file with extension .psprof, containing code coverage (or execution time or memory profiling) results.

    You see a new node on the Results pane corresponding to the result you just opened. Using this node, you can see a summary of the results or dive into further details, as described in the previous section.

Open Recent Results

You can open the last few projects or results from the Start Page pane. To open a recent result:

  1. Click the V icon icon in the upper left corner of the Polyspace Platform user interface.

  2. On the Start Page pane, open a result from the Recent section (Results subsection).

Alternatively, if the results you want to work with are associated with a particular project, you can configure the Polyspace Platform user interface to always reopen the last workspace or projects you were working with, providing easy access to those results. To do so, click Settings on the Polyspace Platform toolstrip and select the option Reopen workspace and projects at startup.

Remove Results from Project

If you no longer want to see a certain result for a project, right-click that result in the Results pane and select Remove. In the Remove Results dialog box, confirm which results to remove from the project and specify whether you want to delete the corresponding result files from disk. When you close and reopen the project after removing a result, the result that was removed no longer appears in the Results pane. If you do not delete the corresponding result files from disk, you can reopen those results in the user interface later, but the association with the project has been removed and cannot be restored.

See Also

Topics