Polyspace Code Prover Server™是一个健全的静态分析引擎，它可以证明在C和c++代码中没有溢出、除零、越位数组访问和某些其他运行时错误。它对所有可能的控制和数据流(包括多线程代码)执行过程间分析，以确定每个操作总是安全的、总是错误的、不可访问的或易受攻击的。Polyspace Code Prover Server标识没有运行时错误、已证明失败、不可访问或未证明的代码段。

Polyspace Code provver Server可以在服务器级机器上运行，并且可以集成到构建和持续集成系统中，使用Jenkins等工具进行自动验证^®．分析结果可以发布到Polyspace Access™进行分类和解决。

通过IEC认证套件(适用于iec61508和iso26262)和DO认证套件(适用于DO-178)，您可以获得对行业标准的支持。