How can I extract a CodeProver Report?

1. Is it possible to extract a report with the comments reflected after entering comments in Polyspace > Runtime Checks?

2. If you have the necessary permissions, it seems that you can change the Threshold in Polyspace > Project Overview > Quality Objectives. Would it also be possible to extract a report reflecting the changes?

Answer 1

[Soumya]

Hi,

To generate a report in Polyspace that includes your justifications and comments, follow these steps:

1. After the analysis is complete on any of the Polyspace products you are using, open the results in the Polyspace Results Viewer.
2. Add justifications or comments to the findings you want to highlight.
3. Navigate to the Reporting tab to configure your report settings. Choose the desired format (e.g., PDF, HTML).
4. Ensure options to include justifications and other relevant details are selected.

If you are facing an issue where Polyspace justifications that are added inside the code as a code comment and are not available in the generated Polyspace pdf reports, you can refer to the following MATLAB answer thread, it might provide great help:

https://www.mathworks.com/matlabcentral/answers/793977-polyspace-justifications-added-inside-the-code-not-available-in-generated-polyspace-reports

With necessary permissions you can modify thresholds in Polyspace under Project Overview > Quality Objectives. After making these adjustments, re-run the analysis to update the results based on the new thresholds. Then, navigate to the Reporting tab to configure and generate a report that includes these changes.

Also, the following documentations might also provide some help:

https://www.mathworks.com/videos/documenting-polyspace-results-using-reports-99658.html

https://www.mathworks.com/help/polyspace_access/ug/quality-objectives-dashboard.html