Interpret Results

Interpret Code Prover result message and navigate source code to find root cause of result

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 (Polyspace Code Prover).

To review a result, trace back from the immediate location of the issue to previous related lines. The Polyspace Access™ web interface 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 (Polyspace Code Prover).

Topics

Getting Started

Interpret Code Prover Results in Polyspace Access Web Interface

Interpret result details message, find root of result.
- Code Prover Result and Source Code Colors (Polyspace Code Prover)
- Reviewing Code Prover Run-Time Checks (Polyspace Code Prover)
- Polyspace Results in Lines Containing Macros (Polyspace Code Prover)
Compare Results in Polyspace Access Project to Previous Runs and View Trends
View results from previous project runs and compare them to later runs.

Code Prover Analysis

Code Prover Analysis Following Red and Orange Checks (Polyspace Code Prover)

Learn how an operation containing a run-time error affects verification of subsequent code.
- Order of Code Prover Run-Time Checks (Polyspace Code Prover)
Variable Ranges in Source Code Tooltips After Code Prover Analysis (Polyspace Code Prover)
Learn why Code Prover reports ranges on variables, and why certain ranges can be narrower than expected.
Orange Checks in Polyspace Code Prover (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.
- Managing Orange Checks in Polyspace Code Prover (Polyspace Code Prover)
- Critical Orange Checks in Polyspace Code Prover (Polyspace Code Prover)
- Reduce Orange Checks in Polyspace Code Prover (Polyspace Code Prover)

Polyspace Access Dashboard View

Dashboard in Polyspace Access Web Interface
See an overview of project results in graphical format, for instance, coding standard findings distribution by status.
Monitor Code Quality Using Quality Objectives Dashboard in Polyspace Access

Monitor the quality of your code and create custom quality objectives definitions.
- Manage Software Quality Objectives in Polyspace Access
Code Metrics Dashboard in Polyspace Access Web Interface
See a summary of your code metrics and pass/fail criteria.

Polyspace Access Review View

Call Hierarchy in Polyspace Access Web Interface
See callers and callees of a function.
Configuration Settings in Polyspace Access Web Interface
See configuration options used for the analysis.
Global Variables in Polyspace Access Web Interface
See all global variables along with read and write operations on them.
Result Details in Polyspace Access Web Interface
See details of a specific Polyspace finding along with review information.
Results List in Polyspace Access Web Interface
See list of Polyspace findings with attributes such as file, function and review status.
Review History in Polyspace Access Web Interface
See changes to the status, severity, or comments for a finding.
Source Code in Polyspace Access Web Interface
See your source code overlaid with Polyspace findings.