波尔盖斯^®代码prover™是一个声音静态分析工具，证明了缺乏溢出，your your off-undss array Access以及C和C ++源代码中的其他运行时错误。它会产生结果而不需要程序执行，代码仪器或测试用例。PolySpace代码箴言使用基于形式方法的语义分析和抽象解释来验证软件移植，控制和数据流动行为。您可以使用它来验证手写代码，生成的代码或两者的组合。每个代码语句都被颜色编码，以指示它是否没有运行时错误，已被证明是失败，无法访问或未经证实。

PolySpace代码箴言显示变量和函数返回值的范围信息，可以证明哪些变量超过指定范围限制。代码验证结果可用于跟踪质量指标并与您的软件质量目标检查一致性。PolySpace代码箴言可以与Eclipse™IDE一起使用，以验证桌面上的代码。

金宝app通过支持行业标准IEC认证套件（对于IEC 61508和ISO 26262）和做资格套件（对于do-178）。