Filter Using Results List

You can filter using the columns on the Results List pane. Click the icon on the column headers to see the available filters. For instance:

For information on the columns, see:

Results found since the last analysis appear with an asterisk (*) next to them. To see only these results since the last analysis, click the New button. Note that if you run an analysis at the command line (or even when you run an analysis in the user interface for the first time), you have to first import from a previous analysis to create a baseline for the New button. See Import Review Information from Previous Polyspace Analysis.

If you do not want to filter by the exact contents of a column, you can use a custom filter instead. For instance, you want to filter out subfolders of a specific folder. Instead of filtering out each subfolder in the Folder column, select Custom from the filter dropdown. Specify the root folder name for the doesn’t contain filter.

You can use wildcard characters for the custom filter. The wildcard ? represents 0 or 1 character and * represents 0 or more characters.

If you apply filters in this way, they carry over to the next analysis. You can also name and save a subset of filters for use in multiple projects. To apply the named set of filters, pick this filter set from the All results list. To create a new entry in this list, select Tools > Preferences and create your own set of filters on the Review Scope tab.

Filter Using Dashboard

You can click graphs on the Dashboard pane to filter results. For instance:

To see all results again, click the link View all results in this scope.

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, select Window > Show/Hide View > Orange Sources. You see the list of orange sources. Select an orange source to see all orange checks coming from this source.

See Filters Used

On the Results List header, you see the number of results displayed in the format Showing x/y, for instance Showing 100/250. Click the dropdown beside this number to see the filters that are currently active. You can also clear the active filters from this dropdown (all except the named set of filters that you picked from the All results dropdown).

You see this information about the filters: