Polyspace代码验证证明没有溢出的情况下,除界外数组访问和某些其他运行时错误在C和c++源代码。它产生的结果不需要程序执行,代码插装,或者测试用例。Polyspace代码验证使用静态分析和抽象解释基于正式的方法。你可以用它在手写代码,生成的代码,或两者的结合。每个操作颜色表明是否它是免费的运行时错误,证明失败,遥不可及的,或未经证实的。
Polyspace代码验证也显示范围信息变量和函数返回值,和可以证明变量超过指定范围的限制。结果可以发布到仪表板跟踪质量指标和确保符合软件质量目标。
金宝app支持行业标准可以通过IEC认证工具包(IEC 61508和ISO 26262)和做资格工具包(- 178)。