Polyspace^®代码验证™是一个良好的静态分析工具，它可以证明C和c++源代码中没有溢出、被零除、超出边界的数组访问和某些其他运行时错误。它在不需要程序执行、代码插装或测试用例的情况下产生结果。Polyspace代码验证使用语义分析和基于形式化方法的抽象解释来验证软件过程间、控制和数据流行为。您可以将它用于手写代码、生成代码，或者两者的结合。每个操作都用颜色编码，以表明它是否没有运行时错误、已被证明失败、不可达或未被证明。

Polyspace代码验证还显示变量和函数返回值的范围信息，并可以证明哪些变量超过了指定的范围限制。结果可以发布到仪表板上，以跟踪质量度量，并确保与软件质量目标的一致性。Polyspace代码验证可以集成到构建系统中进行自动验证。

金宝app对行业标准的支持可通过IEC认证套件(IEC 61508和ISO 26262)和DO认证套件(DO-178)获得。