Interpret Results

Interpret Bug Finder 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.

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.

Topics

Getting Started

Interpret Code Prover Results in Polyspace Access Web Interface (Polyspace Access)

Interpret result details message, find root of result.
Compare Results in Polyspace Access Project to Previous Runs and View Trends (Polyspace Access)
View results from previous project runs and compare them to later runs.

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.

Polyspace Access Dashboard View

Dashboard in Polyspace Access Web Interface (Polyspace Access)
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 (Polyspace Access)

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

Polyspace Access Review View

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