Main Content

Filter and Sort Results in Polyspace Platform User Interface

You can open the results of a Polyspace® analysis in the Dashboard or Review perspective of the Polyspace Platform user interface.

Use the Review perspective to see result details and review individual results.

Use the Dashboard perspective to see statistics about your project as a whole in the Project Overview dashboard. To organize your review, you can narrow down the list or group results by file or result type.

Results in Dashboard perspective

You can use filtering to display:

  • Only certain types of defects or run-time checks.

    For instance, for a Bug Finder analysis, you can display only high-impact defects.

  • Only new results found since the last analysis or since a previous analysis.

  • Only the results that you have not justified. Results that are not justified are considered Open. They are results with a status of Unreviewed, To Investigate, To Fix, or Other.

    For information on justification, see Address Results in Polyspace Platform User Interface Through Bug Fixes or Justifications.

Filter Results

You can filter results by selecting a set of results in the Dashboard perspective or using the toolstrip filters in the Review perspective.

Filter Using Dashboard Perspective

In the Dashboard perspective, you can:

  • Click a section of an arc diagram or an arc diagram legend on the Project Overview dashboard to see the corresponding set of results.

  • Open dashboards for different families of results, then click a number to open a list filtered to the corresponding set of results. For instance:

    • To see only high-impact defects that are still Open in a Bug Finder analysis, click the corresponding number in the Summary section of the Defects dashboard. Open results have a status of Unreviewed, To Investigate, To Fix, or Other.

    • To see only red checks that are Done in a Code Prover analysis, click the corresponding number in the Summary section of the Run-time Checks dashboard. Done results have a status of Justified, No Action Planned, or Not A Defect.

    • To see violations of the MISRA C:2012 coding standards in a particular file, use the table in the Details section of the MISRA C:2012 dashboard.

Filter Using Review Perspective

Review perspective toolstrip

In the Review perspective, you can filter results by families of Polyspace results (Family Filters), or by result review progress (Filters):

  • To see Bug Finder defects only, select the Defects filter in the Family Filters group.

  • To see only results that are not justified, select the Open filter in the Filters group.

The filter bar underneath the toolstrip shows how many findings are displayed out of the total findings, along with which filters are currently applied.

The buttons in the Filters section of the toolstrip are global. They apply to all families of findings.

To filter results by specific content, such as a function name, use the Show only or Filter out text filters. These filters match the text you enter against the content of all the columns in the Results List pane. For instance, if you enter foo in the Filter out filter, the Results List pane hides all the results that contain foo.

You can also filter results by right-clicking the content of a column in the Results List pane. This action is equivalent to entering the content directly in the Show only or Filter out text filters. For instance, if you right-click foo in the Function column, the filter applies to all results that contain foo.

Filters you apply do not carry over to the next analysis.

Filter Using Orange Sources

An orange source can cause multiple orange checks in Code Prover. You can display all orange checks from the same source and review them together.

For instance, in this code, the unknown value input can cause an overflow and a division by zero. The variable input is an orange source that causes two orange checks.

void func (int input) {
int val1;
double val2;
val1 = input++;
val2 = 1.0/input;
}

To begin, in the Review perspective, select Window > Orange Sources. You see the list of orange sources. Select an orange source to see all orange checks coming from this source.

Create Custom Filters

When you review results in the Results List, you can apply filters from the Family Filters section of the toolstrip to focus your review on specific Polyspace families of results, such as:

Define custom filters to narrow the scope of your review to only findings that are relevant to your project or organization. For instance, you might be interested in reviewing only Numerical Bug Finder defects and violations of Mandatory MISRA C™:2012 rules.

To create or edit a custom filter in the user interface, first open a Polyspace Bug Finder™ or Polyspace Code Prover™ result in the Review perspective. Then:

  1. Click Apply/Manage > Manage filters in the toolstrip.

  2. Click New and then enter the filter name in the New Custom Filter pop up window.

  3. Edit the filter selection on the Configuration tab. Select a Polyspace results family, for instance MISRA C:2012, and then select a node or expand the node to select individual results.

  4. Click Save or Save as to save the filter selection.

Example of a custom filter named Test Filter with only Numerical Defects selected in the Configuration tab.

To make changes to a filter name or description, go to the Information tab.

Use the Export button to save your custom filter to a file. You can share your filter file with others or import your filter in Polyspace Access™ by using the Import button in the Polyspace Access web user interface.

Apply custom filters by selecting the appropriate filter from Apply/Manage > Filters. You can apply more than one custom filter at a time. Custom filter do not apply to the Dashboard perspective.