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.

Introduction aux produits Polyspace d'analyse statique de code

Polyspace Access

Identifier les défauts de codage, revoir les résultats de l'analyse statique et contrôler les métriques de qualité logicielle

Polyspace Bug Finder

Vérifier les règles de codage, les normes de sécurité, les métriques du code et trouver les bugs

Polyspace Bug Finder Server

Identifier les défauts logiciels via des analyses statiques exécutées sur serveurs

Polyspace Code Prover

Prouver formellement l'absence d'erreurs run-time critiques sans exécuter le code

Polyspace Code Prover Server

Prouver l'absence d'erreurs run-time dans un logiciel

Polyspace Client for Ada

Prouver l'absence d'erreurs run-time dans le code source

Polyspace Server for Ada

Vérifier du code sur des clusters d’ordinateurs et publier des métriques

Demander votre version d'essai

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.

Volvo Cars

Avec Polyspace, nous pouvons assurer la sécurité et la qualité des logiciels en identifiant et en corrigeant les erreurs run-time avant chaque fusion de code.

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.

Produits Polyspace