Interpret Code Prover Results in Polyspace Platform User Interface

Interpret Code Prover results, navigate source code, track data flow

Polyspace^® Code Prover™ checks C/C++ code for run-time errors. Check results appear in one of these colors:

Red (proven error)
Orange (unproven but possible error)
Green (proven absence of error)

For more details, see Code Prover Result and Source Code Colors.

To review a result, trace back from the immediate location of the issue to previous related lines. The user interface of the Polyspace desktop products provide various conveniences such as range tooltips, function call hierarchy, and other navigation aids to help you with the traceback. Use these tools to locate the root cause of an issue and implement a fix. To understand what to look for when reviewing a particular type of check, see Reviewing Code Prover Run-Time Checks.

Topics

Getting Started

Open Polyspace Results in Polyspace Platform User Interface
See all the ways you can open Polyspace results.
Interpret Polyspace Code Prover Results in Polyspace Platform User Interface

Interpret result details message, find root cause of result.

Code Prover Analysis

Code Prover Analysis Following Red and Orange Checks

Learn how an operation containing a run-time error affects verification of subsequent code.
- Order of Code Prover Run-Time Checks
Variable Ranges in Source Code Tooltips After Code Prover Analysis
Learn why Code Prover reports ranges on variables, and why certain ranges can be narrower than expected.
Orange Checks in Polyspace Code Prover

Learn why the verification cannot prove the presence or absence of an error for certain operations and why you must review the operations.
Understanding Changes in Polyspace Results After Product Upgrade
Compare results before and after upgrade, interpret differences based on release notes and general direction of trends in Code Prover releases.

Polyspace Desktop User Interface

Dashboard in Polyspace Platform User Interface
The Dashboard pane shows an overview of Code Prover results in graphical format, for instance, run-time check distribution by color.
Results List in Polyspace Platform User Interface
The Results List pane lists Bug Finder results with attributes such as file, function and review status.
Source Code in Polyspace Platform User Interface
The Source Code pane shows source code overlaid with Code Prover results.
Result Details in Polyspace Platform User Interface
The Result Details pane shows details of a specific Code Prover result along with review information.
Concurrency Modeling in Polyspace Platform User Interface
The Concurrency Modeling pane shows the entry point functions in a multitasking application, and whether they are detected automatically from the code or explicitly specified.
Investigate Data Race Defects Using Data Race Graph in Polyspace Platform User Interface
The Data Race Graph shows details for data race defects including the read and write operations performed on shared variables.
Call Hierarchy in Polyspace Platform User Interface
The Call Hierarchy pane shows callers and callees of a function.
Global Variables Usage in Polyspace Platform User Interface
The Variable Access pane shows all global variables along with read and write operations on them.
Sources of Orange Checks
The Orange Sources pane shows unconstrained sources such as volatile variables and stubbed functions that can cause multiple orange checks.