How to create a report only for overflow result in Polyspace Code Prover

I would like to make a report to check only overflow from a Polyspace Code Prover's result.

Answer 1

[MathWorks Support Team]

I will explain based on the Polyspace Code Prover demo example. First, select Help > Examples > Code_Prover_Example.psprj from the Polyspace menu.

The first method is to filter and create a report only the items listed on the displayed review screen, and the second method is to save the review scope and use that scope to create a report also with only the listed items. There are two ways to filter in the first method.

1-1-1. Filtering Method 1 

In the results window, verify that the list "Select option to organize results" is set to "Family". Right-click in the filter row below Family, Information, File and select "Detail" to add it to the filters. Press the Detail filter icon and uncheck "(All)" at the top, leaving only "(Custom...)" checked. Then, in the Custom Filter for "Check" window that appears, select "contains" for Condition: and enter the keyword "overflow" in Value. 

Note: The attached recording file(Filtering_polyspace.mp4) is to show how to filter with the above way.

1-1-2. Filtering Method 2 

In the list "Select option to organize results", change from "Family" to "None". Click the filter icon to the right of "Check", uncheck the first "(All)", and check only "Overflow". At this time, by right-clicking in the filtering column where Check, Information is located and selecting "Type ID", you can also see the Orange, Green information in text. 

1-2. Using the Saved Review Scope

This is not possible to filter only for overflow not like the above methods, but you can make it output only overflows as much as possible.

Click "Preferences..." from Tools in the Polyspace menu, and a new settings window will appear. In that window, go to the "Review Scope" tab, and click "New" to create a new review scope item. 

For example, 'Review_Overflow'

In the left menu, under Numerical in Run-time Check, uncheck everything except "Scalar overflow" and "Float overflow" and click the "Apply" button at the bottom. Open the Polyspace results window and select the created Review Overflow from the Review Scope tab in the upper left corner.

Now, generate a report with the filtered results view as is. Click Reporting > Run Report... from the Polyspace menu and check the "

Only include currently displayed results

" option at the bottom to generate the report.