Polyspace Bug Finder

Identification des défauts logiciels via l’analyse statique

Analyse statique automatisée

Trouvez des centaines de classes de bugs, comme les erreurs d’exécution, les problèmes d’accès concurrents et autres défauts de codage dans le code C/C++.

Règles de codage

Appliquez les règles MISRA C, MISRA C++, JSF++, et des règles personnalisées.

Normes de sécurité

Vérifiez les vulnérabilités et les normes de sécurité : CWE, CERT-C, ISO/IEC 17961, etc.

Métriques de code

Collectez des métriques au niveau du projet, du fichier et de la fonction, y compris des métriques de complexité cyclomatique, d’utilisation de la stack et des métriques HIS.

Fonctionnalités

Identifiez les bugs très tôt dans le développement

Identifiez les défauts dès l’écriture ou la modification du code.

Respectez les exigences en matière de certification

Respectez les normes ISO 26262, DO-178, IEC 61508, EN 50128, FDA, etc.

Trouvez la cause principale de bugs complexes

Visualisez votre code en mode debugger avec le suivi des événements, la valeur des variables et l’arborescences des appels.

Vérifiez le code multithreadé

Détectez des problèmes de type « data race », « deadlock », « double lock », « missing lock » et autres problèmes.

Traçabilité de l’analyse du code jusqu’au modèle Simulink

Assurez la traçabilité de l’analyse du bloc source à l’origine du code généré.

Respectez les exigences en matière de sécurité

Respectez les normes de sécurité CERT C, ISO 17961, l’amendement MISRA C:2012 et CWE.

Définissez et mesurez des objectifs de qualité logiciel

Définissez les seuils de qualité réussite/échec à des fins de collaboration dans les équipes logiciel et pour la planification des étapes du projet.

Configurez les environnements d’exécution

Intégrez-vous avec n’importe quel compilateur, processeur cible, environnement RTOS et système d’intégration continue.

Polyspace Bug Finder en action

Obtenez gratuitement la version d'essai

Bénéficiez d'une version d'évaluation de 30 jours.

Télécharger

Prêt à acheter ?

Tarifs et découvrez les produits associés.

Vous êtes étudiant?

Obtenez la version étudiante des logiciels MATLAB et Simulink.

En savoir plus