Produits Polyspace

 

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.