Interpret Code Prover Results

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

Interpret Code Prover Results in Polyspace Desktop User Interface

Interpret result details message, find root 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 Desktop User Interface
The Dashboard pane shows an overview of Code Prover results in graphical format, for instance, run-time check distribution by color.
Concurrency Modeling in Polyspace Desktop 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.
Results List in Polyspace Desktop User Interface
The Results List pane lists Code Prover results with attributes such as file, function and review status.
Source Code in Polyspace Desktop User Interface
The Source pane shows source code overlaid with Code Prover results.
Result Details in Polyspace Desktop User Interface
The Result Details pane shows details of a specific Code Prover result along with review information.
Call Hierarchy in Polyspace Desktop User Interface
The Call Hierarchy pane shows callers and callees of a function.
Variable Access in Polyspace Desktop 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.