Polyspace
确保关键代码的安全
Polyspace®静态代码分析产品使用正式的方法来证明在所有下载188bet金宝搏可能的控制流和数据流下没有关键的运行时错误。它们包括编码规则、安全漏洞、代码度量和数百种其他类型的错误的检查器。
Polyspace代码验证
正式证明在不执行代码的情况下没有关键运行时错误
Polyspace错误发现者
检查编码规则、安全标准、代码度量,并发现bug
为Ada Polyspace
证明源代码中没有运行时错误
使用C/ c++和Ada的形式化方法进行自动静态代码分析
质量
找到bug并正式证明关键运行时错误的存在——无需测试用例或代码执行。
安全
满足安全标准和文件符合MISRA, ISO 26262, IEC 61508, DO-178和FDA法规。
安全
检查软件安全漏洞和标准,如CWE、CERT-C、ISO/IEC 17961等。