Identification des défauts logiciels via l’analyse statique

Polyspace Bug Finder™ identifie les erreurs d'exécution, les problèmes de simultanéité, les failles de sécurité et autres défauts dans les logiciels embarqués C et C++. En utilisant l’analyse statique, incluant l’analyse sémantique, Polyspace Bug Finder analyse le comportement interprocédural, le contrôle et les flux de données du logiciel. En soulignant les défauts dès qu’ils sont détectés, l’outil vous permet de trier et de fixer les erreurs très tôt dans le processus de développement.

Polyspace Bug Finder vérifie la conformité aux normes de règles de codage comme MISRA C®, MISRA C++ et JSF++, ainsi qu'aux conventions de nommage personnalisées. Il génère des rapports répertoriant les erreurs détectées, les violations des règles de codage et les métriques associées au code, telles que la complexité cyclomatique. Polyspace Bug Finder peut être utilisé avec l'IDE Eclipse™ et intégré à des chaînes de compilation.

Lorsque le code est généré automatiquement, les résultats Polyspace® peuvent être tracés jusqu’au modèle Simulink® , ou aux blocs dSPACE ® TargetLink®.

La prise en charge des normes de l'industrie est disponible par l’intermédiaire du IEC Certification Kit (ISO 26262 et IEC 61508) ou du DO Qualification Kit (DO-178).


Fonctionnalités

Identification des défauts logiciels et des failles de sécurité grâce à l'analyse statique

Analysez des composants ou des projets logiciels dans leur intégralité.

En savoir plus

Réduction des cycles de test grâce à la correction anticipée des bugs

Détectez une multitude de défauts comme les défauts numériques, de mémoire statique, de mémoire dynamique, d’accès concurrents et les failles de sécurité.

En savoir plus

Vérification du respect des normes de codage (MISRA, JSF, conventions de nommage)

Appliquez des règles de codage afin d'améliorer la lisibilité et la qualité de votre code.

En savoir plus

Production de métriques de code et surveillance de la qualité du logiciel

Générez des métriques au niveau du projet, du fichier et de la fonction afin d'évaluer la complexité du code.

En savoir plus

Traçabilité des résultats d'analyse du code jusqu'aux modèles Simulink

Analysez du code généré ou mixte, qui contient à la fois du code généré et du code écrit manuellement.

En savoir plus

Création d'artefact de certification

Effectuez le processus de certification de projets basés sur les normes de l'industrie.

En savoir plus

Ressources produits

Découvrez-en davantage sur Polyspace Bug Finder en consultant ces ressources.

Documentation

Consultez notre documentation pour connaître les fonctions et les caractéristiques de Polyspace Bug Finder, notamment les notes de version et des exemples.

Exigences du système

Affichez les spécifications système requises pour la dernière version de Polyspace Bug Finder.

Articles techniques

Consultez les notes expliquant les avantages techniques de l'utilisation d'Polyspace Bug Finder.

Témoignages d'utilisateurs

Découvrez comment Polyspace Bug Finder accélère la recherche et le développement de votre industrie.

Communauté et soutien

Trouvez les réponses à vos questions et consultez nos ressources dédiées à la résolution des problèmes.

Apps

Les applis Polyspace Bug Finder vous permettent d'accéder rapidement aux tâches courantes via une interface interactive.


Essayer ou Acheter

Vous pouvez commencer à utiliser les Polyspace Bug Finder de nombreuses façons. Téléchargez gratuitement la version d'essai, or consultez les tarifs et les options de licence.

Obtenez gratuitement la version d'essai

Essayez Polyspace Bug Finder.

Essayer une version d'évaluation

Prêt à acheter?

Achetez Polyspace Bug Finder et découvrez les produits complémentaires.

Contact commercial
Tarifs et licences

Vous avez des questions ?

Ram

Contacter Ram Cherukuri,
expert technique Polyspace Bug Finder

Envoyer un e-mail à Ram

 Solutions associées

Utilisez Polyspace Bug Finder pour relever des défis scientifiques et d'ingénierie :


Au fil des événements

Fast-Track MISRA Compliance of Generated Code