フィルターのクリア

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

11 ビュー (過去 30 日間)
Garrett
Garrett 2023 年 11 月 22 日
回答済み: 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 件のコメント
Sathvik
Sathvik 2023 年 12 月 11 日
Hi
Please mention the release of MATLAB (R20xx) that you are using.

サインインしてコメントする。

採用された回答

Arka
Arka 2023 年 12 月 26 日
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!

その他の回答 (0 件)

Community Treasure Hunt

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

Start Hunting!

Translated by