Polyspace Bug Finder

Identifier les défauts du logiciel avec l'analyse statique

Identifier les bugs et les vulnérabilités des logiciels

Trouvez de nombreuses catégories différentes de bugs, comme les vulnérabilités de sécurité, la concurrence et les défauts numériques. Configurez l’analyse pour tout compilateur, processeur cible et environnement RTOS.

Conformité aux normes de codage

Appliquez les normes de codage pour les logiciels embarqués telles que MISRA C, MISRA C++, AUTOSAR C++14, JSF++ et les conventions de nommage personnalisées.

Test statique de sécurité des applications

Sécurisez votre application en détectant les vulnérabilités et les problèmes de sécurité. Respectez les normes et directives de codage sécurisé telles que CERT C/C++, CWE, ISO 17961 et l'amendement 1 de la norme MISRA C:2012.

Support de certification

Créez les artefacts nécessaires pour finaliser le processus de certification pour les normes de sécurité et de sûreté industrielles telles que IEC 61508, ISO 26262, ISO/SAE 21434 ou DO-178C, jusqu’aux plus hauts niveaux de sûreté/sécurité fonctionnelle.

Intégration de Simulink et Stateflow

Exécutez une analyse sur le code généré et tracez vos résultats depuis le code source jusqu'au bloc de modèle Simulink ou au graphique Stateflow correspondant. Démarrez l'analyse Polyspace à partir de l'environnement Simulink.

Surveiller la qualité logicielle

Générez des métriques de code pour évaluer et améliorer la qualité du code source. Comparez les résultats d'analyse aux seuils de qualité.

Analyse interactive sur desktop

Exécutez une analyse et passez les résultats en revue sur votre PC. Identifiez les causes principales des bugs complexes grâce aux vues debug, aux traces d'événements et aux graphes d'appel. Résolvez les problèmes et générez des rapports.

“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.”

Johannes Foufas, Volvo Cars

Famille de produits Polyspace

Les produits Polyspace sécurisent les codes critiques en testant et en contrôlant la qualité du software tout au long du cycle de développement.

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 Code Prover Server

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

Polyspace Bug Finder

Identifier les défauts du logiciel avec l'analyse statique.

Polyspace Test

Développer, gérer et exécuter des tests sur le code C et C++ de vos systèmes embarqués.

Polyspace Bug Finder Server

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

Polyspace Client for Ada

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

Polyspace Code Prover

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

Polyspace Server for Ada

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

Vous souhaitez en savoir plus sur le produit  Polyspace Bug Finder ?