Polyspace
Sécuriser le code critique
Les produits Polyspace® pour l'analyse statique de code utilisent des méthodes formelles pour prouver l'absence d'erreurs run-time critiques sous tous les flux de contrôle et de données possibles. Il comprennent des checkers pour les règles de codage, les vulnérabilités de sécurité, les métriques de code et plusieurs centaines d'autres classes de bugs.
Polyspace Code Prover
Prouvez l'absence d'erreurs run-time critiques de manière formelle sans exécuter de code
Polyspace Bug Finder
Vérifiez les règles de codage, les normes de sécurité, les métriques de code, et trouvez les bugs
Polyspace for Ada
Prouvez l'absence d'erreurs run-time dans le code source
Analyse statique automatique du code à l'aide de méthodes formelles pour C/C++ et Ada
Qualité
Trouvez les bugs et prouvez l'absence d'erreurs run-time critiques de manière formelle sans exécuter de code ni de cas de test.
Sûreté
Respectez les normes de sûreté et documentez la conformité aux réglementations MISRA, ISO 26262, IEC 61508, DO-178 et FDA.
Sécurité
Vérifiez les vulnérabilités de sécurité du logiciel et la conformité aux normes telles que CWE, CERT-C, ISO/IEC 17961 et autres.
Nissan
Quelles que soient les conditions, Polyspace identifie les opérations susceptibles de produire des erreurs run-time et celles qui n'en connaîtront aucune.
Alenia Aermacchi
Les outils Polyspace pour l'analyse statique de code vérifient que le code ne comporte pas d'erreurs run-time, assurent la conformité avec les normes de codage MISRA et créent des artefacts pour la certification DO-178.
Miracor
Polyspace permet à Miracor de démontrer la qualité et l'exactitude de ses designs aux autorités de réglementations afin de prouver que ses appareils sont sûrs.