Result Details in Polyspace Platform User Interface

This topic focuses on the Polyspace Platform user interface. To learn about the equivalent pane in the Polyspace^® desktop user interface, see Result Details in Polyspace Desktop User Interface.

On the Results List pane, if you select a check, you see additional information on the Result Details pane.

Within the Result Details pane, you can assign a Severity and Status to each result. You can also enter comments to describe the results of your review. This action helps you both track the progress of your review and avoid reviewing the same check twice.

For results that you open from Polyspace Access™, you can also:

Assign a reviewer to the result. A reviewer can filter the Results List to only show results that are assigned to him or her.
Create a ticket in a bug tracking tool (BTT) such as JIRA. Once you create the ticket the Results Details for this defect shows the ticket ID. Click the ID to open the ticket in the BTT interface.

See Open or Export Results from Polyspace Access (Polyspace Access).

Result Details pane with a Non-initialized variable defect selected.

View Traceback

Sometimes, on the Result Details pane, you can see the sequence of instructions leading to the check (traceback). You can select each instruction and navigate to it in your source code.

Traceback for an Overflow orange check.

The following columns appear in the traceback:

Column	Description
Event	Code instructions related to the defect. For instance, if an Out of Bounds Array Index error occurs in a loop, the Result Details pane can show updates to the array index that occur inside the loop. The update statements might physically occur in your code before or after the array access. However, because the statements occur in a loop, they are related to the array access.
File	The name of the file that contains the code instructions relating to the event.
Scope	The function containing the instructions.
Line	The line number of the instruction.

View Error Call Graph

Click the icon, in the Result Details pane toolbar to display the call sequence that leads to the code associated with a result.

Error Call Graph for a Code Prover result

For global variables, this graph shows the call sequence leading to read and write operations on the global variable.

View Call Hierarchy and Variable Access

From the Result Details pane, you can open the Call Hierarchy and Variable Access panes.

Select the button to open the Call Hierarchy pane.
On this pane, you can see the function in which the current check occurs, along with its callers and callees. For more information, see Call Hierarchy in Polyspace Platform User Interface.
Select the button to open the Global Variables Usage pane.
On this pane, you can see the global variables in your code. For more information, see Variable Access in Polyspace Desktop User Interface.