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

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

万博1manbetx可以通过以下方式获得对行业标准的支持IEC认证工具包(适用于iec61508及iso26262)及做资格工具包(- 178)。