How can the results of Polyspace Code Prover be shared?

I have a machine where i run Polyspace analysis on Polyspace Code prover and i have to share those results with my team who work on resolving the errors, but they are unable to open the .pscp files withot polyspace license on their workstations.

Isn't there a possibility for them to access the results file without the license for the product as they just have to view the results and do not have the need to run the code prover for analysis.

[Geetha S]

Hello ,

Export the results in Develpoer review in Export option .

Export option are .PDF, word and HTML report

but again you need to feed them into project for further analysis

Answer 1

[Jatin]

Hi @vivek manchala,

You can indeed share your Polyspace analysis results with your team even if they don't have a Polyspace license. You can generate reports in various formats such as HTML, PDF, or Word and distribute these to your team.

For larger teams or enhanced collaboration, consider using Polyspace Access. Although it requires a license, this product allows you to upload reports to a server, enabling team members to access them with a web-based interface.

You can go through these documents to know more about this:

"generate reports": https://www.mathworks.com/help/bugfinder/generate-reports.html

"Polyspace Access": https://www.mathworks.com/help/polyspace_access/index.html

Hope this was helpful.