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)，可提供对行业标准的支持。