Polyspace

Polyspace^®静态代码分析产品使用形式化的方法来证明在所2022世界杯八强谁会赢？有可能的控制流和数据流下不存在关键的运行时错误。它们包括编码规则、安全漏洞、代码度量和数百个附加类的bug检查器。

识别编码缺陷，审查静态分析结果，并监视软件质量度量

检查编码规则、安全标准、代码度量，并查找错误

通过运行在服务器计算机上的静态分析来识别软件缺陷

在不执行代码的情况下正式证明没有严重的运行时错误

证明软件中没有运行时错误

证明源代码中没有运行时错误

在计算机集群上执行代码验证并发布度量

申请免费试用

使用C/ c++和Ada的形式化方法进行自动静态代码分析

找到bug并正式证明没有关键的运行时错误—无需测试用例或代码执行。

满足MISRA, ISO 26262, IEC 61508, DO-178和FDA的安全标准和文件遵从。

检查软件安全漏洞和标准，如CWE、CERT-C、ISO/IEC 17961等。

沃尔沃汽车

通过Polyspace，我们可以在每次代码合并前识别并修复关键的运行时错误，从而确保软件的安全和质量。

阿莱尼亚·马基公司

Polyspace静态分析工具检查代码的运行时错误，确保符合MISRA编码标准，并为DO-178认证信用创建工件。

Miracor

Polyspace帮助Miracor向包括FDA在内的监管团体展示质量和正确性，以证明我们的设备是安全的。世界杯预选赛小组名单