多空间
使关键代码安全可靠
多空间®静态代码分析产品使用正式的方法来证明在所有s manbetx 845可能的控制流和数据流下都不存在关键的运行时错误。这些方法包括检查编码规则、安全漏洞、代码度量以及数百种其他类型的错误。
多空间码验证器
在不执行代码的情况下正式证明不存在关键运行时错误
多空间Bug查找器
检查编码规则、安全标准、代码度量，并查找bug
Ada的多空间
证明源代码中没有运行时错误
基于C/C++和Ada形式化方法的自动静态代码分析
质量
发现bug并正式证明没有关键的运行时错误-没有测试用例或代码执行。
安全
符合MISRA、ISO 26262、IEC 61508、DO-178和FDA法规的安全标准和文件合规性。
安全
检查软件安全漏洞和标准，如CWE、CERT-C、ISO/IEC 17961等。
日产
Polyspace可以发现哪些操作可能会遇到运行时错误，还可以识别那些永远不会出现运行时错误的操作，无论操作条件如何。
马基
Polyspace静态分析工具检查代码的运行时错误，确保符合MISRA编码标准，并为DO-178认证信用创建工件。
米拉科尔
Polyspace帮助Miracor向监管机构（包括FDA）证明质量和正确性，以证明我们的设备是安全的。
