Is it possible to use Polyspace with Docker?

Can Polyspace products be used in a Docker container, for example in a Continuous Integration environment?

Answer 1

[MathWorks Support Team]

Since R2022b, it is possible to have Polyspace Bug Finder Server in a Docker image. Hence, Polyspace Bug Finder Server product can be directly used w/o install in a ci integration workflow​

One Docker image called polyspace-deps is available on Docker Hub (https://github.com/mathworks-ref-arch/polyspace-bug-finder-server-dockerfile) allowing to explain dependencies and how to create a Polyspace Bug Finder Server image

[Zolboo Erdenebayar]

Hello,

I installed polyspace 2020a in docker. I start there also code metrics server. But when I stop the container, I lose my data pushed to the server. According to this my questions:

• Where is the data stored?
• How can I keep the data on restart?
• Is it possible to store it in docker volume? Or are there another recommended methods?

Answer 2

[Benny Chirackal]

Hi,

I built a polyspace docker image using similar steps. From the docker, I can startup polyspace in the GUI mode. Everything works except for the documentation.

In the area of the window where documentation is displayed during startup, the following message is displayed

   "Contextual help is not supported for this OS"

What is causing this problem?