Polyspace代码验证服务器™是一个良好的静态分析引擎,证明没有溢出的情况下,除界外数组访问和某些其他C和c++代码中运行时错误。它执行过程间分析所有可能的控制流和数据流,包括多线程代码,确定每个操作总是安全的,总是错误的,不可到达或脆弱。Polyspace代码验证服务器标识代码段是免费的运行时错误,证明失败,遥不可及的,或未经证实的。

Polyspace代码验证服务器可以运行在一个服务器级别的机器,可以集成到构建和持续集成系统自动验证使用工具,如詹金斯^®。分析结果可以发布到Polyspace访问™诊断和解决。

金宝app支持行业标准可以通过IEC认证工具包(IEC 61508和ISO 26262)和做资格工具包(- 178)。