Polyspace®静态代码分析产品使用正式的方法来证明缺乏关下载188bet金宝搏键运行时错误在所有可能的控制流和数据流。他们包括检查编码规则、安全漏洞代码度量,数以百计的其他类型的错误。
Polyspace访问
识别编码缺陷,检查静态分析的结果,和监控软件质量度量
Polyspace错误发现者
检查编码规则、安全标准、代码度量,发现bug
Polyspace错误发现者服务器
通过静态分析识别软件缺陷运行在服务器上
Polyspace代码验证
正式证明缺乏关键不执行代码运行时错误
Polyspace代码验证服务器
证明软件没有运行时错误
Ada Polyspace客户端
证明没有运行时错误的源代码
Ada Polyspace服务器
计算机集群上执行代码验证和发布标准
使用正式的方法自动静态代码分析C / c++和艾达
质量
找到错误和正式证明缺乏关键运行时错误——没有测试用例或代码执行。
安全
符合安全标准和文档遵从MISRA、ISO 26262、IEC 61508, - 178, FDA法规。
安全
检查软件安全漏洞和标准,如CWE CERT-C, ISO / IEC 17961等等。
沃尔沃汽车
Polyspace,我们可以确保软件安全性和质量通过识别和修复关键运行时错误之前每个代码合并。
阿莱尼亚·马基公司
Polyspace静态分析工具为运行时错误检查代码,确保符合MISRA编码标准,并创建工件做- 178认证。
Miracor
Polyspace帮助Miracor证明质量和正确性监管社区,包括FDA,证明我们的设备是安全的。