波尔盖斯
使关键代码安全安全安全
波尔盖斯®静态代码分析产品使用正式方法来证明在所有可下载188bet金宝搏能的控制流程和数据流下的缺乏关键运行时误差。它们包括用于编码规则，安全漏洞，代码指标和数百个其他错误的验证员。
Polyspace代码箴言
在不执行代码的情况下，正式证明没有关键的运行时误差
Polyspace Bug Finder.
检查编码规则，安全标准，代码指标，并找到错误
Ada的多彩空间
证明源代码中没有运行时错误
使用正式方法为C / C ++和ADA的自动静态代码分析
质量
查找错误并正式证明缺少关键运行时错误 - 没有测试用例或代码执行。
安全
符合SICRA，ISO 26262，IEC 61508，DO-178和FDA法规的安全标准和文件遵守。
安全
检查软件安全漏洞和标准，如CWE，CERT-C，ISO / IEC 17961等。
日产
PolySpace找到哪些操作可以体验运行时错误，并且还标识那些永远不会拥有一个的操作，无论操作条件都如何。
Alenia Aermacchi.
PolySpace静态分析工具检查运行时差的代码，确保符合MISRA编码标准，并为DO-178认证信贷创建文物。
米科尔
Polyspace有助于奇迹展示对监管社区，包括FDA，包括FDA的质量和正确性，以证明我们的设备是安全的。
