Polyspace产下载188bet金宝搏品

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等标准。