多空间

多空间设计验证程序。Polyspace®静态代码分析产品使用形式化方法来证明在所有可能的控制流和数据流下都没有关键的运行时错误。它们包括编码规则、安全漏洞、代码度量以及数百个额外的bug类的检查程序。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换