Export polyspace bugfinder server results as a .sarif with correct line references

Question

Garrett 2023-11-22

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/2050977-export-polyspace-bugfinder-server-results-as-a-sarif-with-correct-line-references

回答： Arka 2023-12-26

I'm not seeing source file line references in my analysis exported as a .sarif. Even with key-mode explicitly set to file-scope.

polyspace-results-export -results-dir _static-analysis-results/ -format json-sarif -key-mode file-scope

How can I get the line references exported?

1 个评论
显示 -1更早的评论隐藏 -1更早的评论

Sathvik 2023-12-11

Hi

Please mention the release of MATLAB (R20xx) that you are using.

请先登录，再进行评论。

请先登录，再回答此问题。

Answer 1

Arka 2023-12-26

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/2050977-export-polyspace-bugfinder-server-results-as-a-sarif-with-correct-line-references#answer_1377467

Hi Garrett,

If you are using Polyspace Bug Finder R2023a or earlier, this behaviour is intended. This functionality does not exist in Polyspace Bug Finder, with reports including line numbers being available only in Polyspace Code Prover.

The localization of a finding can only be seen in the Polyspace UI source code window or via Polyspace Access web interface. If you would like to review findings, you would have to open the Bug Finder interface or login to Polyspace Access.

If you are using R2023b or later, you can see the reports with line numbers via the Polyspace Bug Finder Server.

Hope this helps!