How can I get polyspace-​report-gen​erator to include source line when using -generate-​results-li​st-file option?

How can I get polyspace-report-generator to include source line when using -generate-results-list-file option?

If the generated report file included not only the src file but also the line where the error occurs, you would not have to open the Polyspace gui to check the Polyspace results.

Answer 1

[Christian Bard]

This functionality does not exist currently in Polyspace Bug Finder. The localization of a finding can only be seen in the Polyspace UI source code window or via Polyspace Access web interface.

Users who want to review findings will have to open the Bug Finder interface or login to Polyspace Access.

[Mikael Kellgren]

Ok.

The project we are working on uses a Docker solution to compile code. Is there some way we can get around the "Polyspace UI" solution with Docker?

[Mikael Kellgren]

It should be possible to use Polyspace As You Code for this: https://se.mathworks.com/help/releases/R2021a/polyspace_bug_finder_access/ug/integrate-polyspace-as-you-code-in-ides-and-editors-without-plugins.html