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