Polyspace
Sécuriser le代码评论
莱斯的Polyspace®为了分析静态代码使用méthodes formelles，为了避免运行时的错误评论，为了我们的通量contrôle和données的可能性。我对检查程序的理解是:règles de codage, les vulnérabilités de sécurité， les métriques de code和其他类的错误。
Polyspace代码验证
没有错误的运行时批评manière formelle没有exécuter代码
Polyspace错误发现者
Vérifiez les règles de codage, les normes de sécurité， les métriques de code, et trouvez les bugs
为Ada Polyspace
在代码源代码的运行时出现错误
用C/ c++等语言分析代码à l'aide méthodes的静态自动化
质量
Trouvez les bugs and prouvez l'absence d' reurs运行时批评manière formelle sans exécuter de code ni de cas de test。
Surete
遵守sûreté et documentez la conformité aux réglementations MISRA、ISO 26262、IEC 61508、DO-178等FDA规范。
安全炸药
Vérifiez les vulnérabilités de sécurité du logiciel et la conformité aux normes telles que CWE, CERT-C, ISO/IEC 17961等。
日产
什么样的条件，Polyspace确定opérations易产生错误的运行时和细胞，在connaîtront aucune。
阿莱尼亚·马基公司
Polyspace pour l' analysis static code vérifient que le code ne comte pas d' reurs run-time, sure la conformité avec Les normage MISRA et créent des artifacts pour la certification DO-178。
Miracor
Polyspace permet à miracle de démontrer la qualité et l' exitude de designs aux autorités de réglementations afin de prouver que clothes sont sûrs。
