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

Polyspace代码验证还显示范围信息变量和函数的返回值,并能证明哪些变量超过指定范围的限制。结果可以发布到仪表板跟踪质量指标和确保符合软件质量目标。Polyspace代码验证可以集成到构建系统的自动验证。

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