Polyspace
使关键代码安全可靠
Polyspace®静态代码分析产品使用正式的方法来证明在所有下载188bet金宝搏可能的控制流和数据流下没有关键的运行时错误。它们包括编码规则、安全漏洞、代码度量和数百种其他类型的错误的检查器。
Polyspace代码验证
正式证明在不执行代码的情况下不存在关键的运行时错误
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在内的监管机构展示产品质量和正确性，以证明我们的设备是安全的。
