波尔盖斯
使关键代码安全安全安全
波尔盖斯®静态代码分析产品使用正式方法来证明在所有可s manbetx 845能的控制流程和数据流下都没有关键的运行时误差。它们包括用于编码规则，安全漏洞，代码指标以及数百类的错误的跳棋。
PolySpace代码箴言
在不执行代码的情况下，正式证明没有关键的运行时误差
Polyspace Bug Finder.
检查编码规则，安全标准，代码指标，并找到错误
适合Ada的Polyspace
证明源代码中没有运行时错误
使用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的质量和正确性，以证明我们的设备是安全的。
