In this tutorial, you explore the results of verifying
Before starting this tutorial, complete Run Verification.
To open results from a remote verification:
Select Metrics > Open Metrics.
Alternatively, you can enter the remote address directly in a web browser. For more information, see View Polyspace Metrics Project Index.
Click the Project cell of your verification.
You can see a summary of your project.
On the Summary tab, click the 1.0 cell in the Verification column.
Your results are downloaded into the user interface.
After verification, the results open automatically.
Polyspace® performs checks on each operation in your code. The software reports whether a check is green, red, orange or gray.
|Red||The code operation fails the check on every execution path.|
|Green||The code operation passes the check on every execution path.|
|Orange||The code operation fails the check on some execution paths.|
|Gray||The code operation is unreachable from entry-point functions.|
On the Results Summary pane, from the list, select File.
The checks are grouped by file. Within each file, the checks are grouped by function.
Expand the following function names and select a check in the function. The corresponding line of code on the Source pane appears highlighted.
|Function||Check||Source Code Appearance||Reason|
|Gray Unreachable code||The |
|Red Non-terminating loop||The keyword |
|Orange Division by Zero|| The ||The denominator can be zero.|
|Green Overflow||The |
To find further information about a check, do one of the following:
View the message on the Result Details pane.
Place your cursor on the check in the Source pane. View the tooltip.
Filter Division by Zero checks. To do this:
Click on the Check column header.
From the drop-down list, clear All and select Division by Zero.
The Results Summary pane displays only the Division by Zero checks.
On the Results Summary pane,
select the red Division by Zero check in the
PROCEDURE_ZDV. Enter the following review
To generate a verification report:
If your verification results are not already open, open them.
Select Reporting > Run Report.
In the Select Reports section, select Developer.
For Output folder, select
For Output format, select
Click Run Report.
The software creates the specified report and opens it.