How can I generate the report of coding-rule check with source code line information?

TOOL: Polyspace Bug Finder / Polyspace Code Prover

I'm trying to generate codeing rule check report from above tools.

They are working fine, and I can see the complete report on Polyspace GUI (of course, I can see line-wise rule violation result).

However, a generated report file (HTML etc.) does not contain line number of rule violation.

Could you tell me how to generate such report, please?

Answer 1

[Anirban]

The Bug Finder reports are meant for archiving purposes only (to maintain snapshots of the code quality at specific milestones). To see exact locations of Polyspace Bug Finder results in the code, you have to open the results in the Polyspace GUI (or in the Eclipse plugin if you are using Eclipse).

In R2019a, the new products Polyspace Bug Finder Access and Polyspace Code Prover Access allow teams to look at common results hosted on a server, using a web browser only. If you were using HTML reports to share results with others, you can switch to the new product for a more convenient workflow. See here for details: https://www.mathworks.com/help/polyspace_bug_finder_server/gs/polyspace-products-for-code-analysis-and-verification.html

In both the Polyspace GUI or the new Polyspace Bug Finder Access web interface, you have support from features such as code navigation shortcuts, event history, tooltips, function call sequence leading to defect, and other such tools to better understand why a defect or rule violation can happen. The HTML reports with only the results themselves do not provide these conveniences.

[Anirban]

Starting in R2020a, reports generated from results in Polyspace Access have a link back to results (along with details and source code) in the Polyspace Access web interface. So, if you archive results in reports, you can navigate from a result in the archives to further details of a result in the Polyspace Access interface.

[Julius Diestra]

Hello !

In case we only want to use terminal and not any GUI tool or Polyspace Access Web. Is it possible to get source code line where the polyspace violation occurs in the terminal output or in the generated report?

Greetings !

Julius

[Anirban]

Please contact Technical Support for more help with your use case.