R2022b以来,可以Polyspace错误发现者服务器在一个码头工人的形象。因此,Polyspace错误发现者服务器产品可以直接使用w / o安装在ci集成工作流
一个码头工人形象给polyspace-deps可用码头工人中心(https://github.com/mathworks-ref-arch/polyspace-bug-finder-server-dockerfile)允许解释依赖和如何创建一个Polyspace错误发现者服务器映像