Polyspace®静态代码分析产品使用形式化的方法来证明在所2022世界杯八强谁会赢?有可能的控制流和数据流下不存在关键的运行时错误。它们包括编码规则、安全漏洞、代码度量和数百个附加类的bug检查器。
Polyspace访问
识别编码缺陷,审查静态分析结果,并监视软件质量度量
Polyspace错误发现者
检查编码规则、安全标准、代码度量,并查找错误
Polyspace Bug Finder服务器
通过运行在服务器计算机上的静态分析来识别软件缺陷
Polyspace代码验证
在不执行代码的情况下正式证明没有严重的运行时错误
Polyspace代码验证服务器
证明软件中没有运行时错误
Ada的Polyspace客户端
证明源代码中没有运行时错误
Ada的Polyspace服务器
在计算机集群上执行代码验证并发布度量
使用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在内的监管团体展示质量和正确性,以证明我们的设备是安全的。世界杯预选赛小组名单