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

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

金宝app可通过以下途径获得对行业标准的支持：IEC认证工具包（适用于IEC 61508和ISO 26262）和DO资格鉴定套件（适用于DO-178）。