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

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

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