Main Content

Results List in Polyspace Desktop User Interface

This topic focuses on the Polyspace® desktop user interface. To learn about the equivalent pane in the Polyspace Access™ web interface, see Results List in Polyspace Access Web Interface (Polyspace Access).

The Results List pane lists all analysis results along with their attributes.

For each result, the Results List pane contains the check attributes, listed in columns:

AttributeDescription
FamilyGroup to which the result belongs, for instance, red check, gray check, etc.
IDUnique identification number of the result.
Type

Result information such as run-time check color (red, orange, green), coding rule standard (MISRA C™: 2004, MISRA C: 2012), etc.

Group

Category of the result, for instance:

  • For run-time checks: Groups such as static memory, numerical, control flow, etc.

  • For coding rule violations: Groups defined by the coding rule standard.

    For instance, MISRA C: 2012 defines groups related to code constructs such as functions, pointers and arrays, etc.

Check

Result name, for instance:

  • For run-time checks: Check name

  • For coding rule violations: Coding rule number

Detail

Additional information about a result. The column shows the first line of the Result Details pane.

For an example of how to use this column, see the result MISRA C:2012 Dir 1.1.

Information

For orange checks, this column indicates whether the check is related to path or input values. For more information, see Critical Orange Checks in Polyspace Code Prover.

For coding rule violations, this column indicates whether the rule belongs to the Required subset.

For global variables, this column contains the global variable name.

FileFile containing the instruction where the result occurs
ClassClass containing the instruction where the result occurs. If the result is not inside a class definition, then this column contains the entry, Global Scope.
FunctionFunction containing the instruction where the result occurs. If the function is a method of a class, it appears in the format class_name::function_name.
FolderPath to the folder that contains the source file with the result
LineLine number of the instruction where the result occurs.
ColColumn number of the instruction where the result occurs. The column number is the number of characters from the beginning of the line.
%Percentage of run-time checks that are not orange (total selectivity rate). This column is most useful when you choose the option File from the list. The entry in this column against a file or function indicates the percentage of checks in the file or function that are not orange.
Severity

Level of severity you have assigned to the result. The possible levels are:

  • Unset

  • High

  • Medium

  • Low

Status

Review status you have assigned to the result. The possible statuses are:

  • Unreviewed (default status)

  • To investigate

  • To fix

  • Justified

  • No action planned

  • Not a defect

  • Other

Justified

Check boxes showing whether you have justified the results. To justify a result, you must assign the status Justified, No action planned or Not a defect.

If you choose the option File from the list, this column indicates the percentage of checks that you have justified per file and function.

CommentsComments you have entered about the result
Assigned to

User name of reviewer assigned to this result.

This column is visible only for results that you open from Polyspace Access.

Ticket Key

When you create a bug tracking tool (BTT) ticket for a result, this field contains the ticket ID. Click the ticket ID in the Results Details to open the ticket in the BTT interface.

This column is visible only for results that you open from Polyspace Access.

To show or hide any of the columns, right-click anywhere on the column titles. From the context menu, select or clear the title of the column that you want to show or hide.

Using this pane, you can: