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

1 次查看(过去 30 天)
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?

采纳的回答

Anirban
Anirban 2019-11-6
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.
  3 个评论
Julius Diestra
Julius Diestra 2024-1-18
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

请先登录,再进行评论。

更多回答(0 个)

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by