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 that can be used as a base image when building a corresponding Dockerfile for Polyspace Bug Finder Server or Polyspace Code Prover Server.

There is also a GitHub repository that contains example Dockerfiles based on Ubuntu and UBI for the installation of the Polyspace Server products: 

https://github.com/mathworks-ref-arch/polyspace-bug-finder-server-dockerfile