Interpret Code Prover Results
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.
- 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.
- Managing Orange Checks in Polyspace Code Prover
- Critical Orange Checks in Polyspace Code Prover
- Limit Display of Orange Checks in Polyspace Platform User Interface
- Reduce Orange Checks in Polyspace Code Prover
- Evaluate Polyspace Code Prover Results Against Software Quality Objectives
- Identify Function Call with Run-Time Error
- Polyspace Results in Lines Containing Macros
See how Polyspace shows results in source code lines containing macros. - 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. - 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 Global Variables Usage pane displays global variables and local static variables. - Sources of Orange Checks
The Orange Sources pane shows unconstrained sources such as volatile variables and stubbed functions that can cause multiple orange checks.
