Is it possible to use Polyspace with Docker?

78 views (last 30 days)
Can Polyspace products be used in a Docker container, for example in a Continuous Integration environment?

Accepted Answer

MathWorks Support Team
MathWorks Support Team on 10 Jan 2023 at 5:00
Edited: MathWorks Support Team on 10 Jan 2023 at 15:22
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
  1 Comment
Zolboo Erdenebayar
Zolboo Erdenebayar on 30 Oct 2020
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?

Sign in to comment.

More Answers (1)

Benny Chirackal
Benny Chirackal on 1 Nov 2018
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?

Tags

No tags entered yet.

Products


Release

No release entered yet.

Community Treasure Hunt

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

Start Hunting!