polyspace code prover server™ 是一款可靠的静态分析引擎,可以证明在 c 和 c 代码中不存在溢出、除以零、数组访问越界和某些其他运行时错误。它对所有可能的控制流和数据流(包括多线程代码)执行过程间分析,以将每项操作识别为始终安全、始终出错、不可达或易受攻击。polyspace code prover server 识别没有运行时错误、证明失败、不可达或未经证明的代码段。
polyspace code prover server 可以在服务器级计算机上运行,并可以使用 jenkins® 等工具集成到编译和持续集成系统中,以进行自动验证。分析结果可以发布到 polyspace access™ 进行分类和解决。
通过 iec certification kit (for iso 26262 and iec 61508) 和 do qualification kit (for do-178),可提供对行业标准的支持。
在任何平台上运行静态代码分析
在本地或的自动化服务器上运行 polyspace code prover server。使用 mathworks® 参考架构在 docker、aws® 和 azure® 等平台上进行部署。