Polyspace

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

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

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

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

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

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

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

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

申请免费试用

使用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在内的监管机构展示质量和正确性，以证明我们的设备是安全的。世界杯预选赛小组名单