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

9 views (last 30 days)
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?

Accepted Answer

Arka
Arka on 26 Dec 2023
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!

More Answers (0)

Community Treasure Hunt

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

Start Hunting!