Polyspace Bug Finder

Polyspace^® Bug Finder™ identifie les erreurs run-time, les problèmes de concurrence, les vulnérabilités de sécurité et bien d'autres défauts dans les logiciels embarqués C et C++. Grâce à l'analyse statique, y compris l'analyse sémantique, Polyspace Bug Finder analyse les éléments de contrôle du logiciel, les flux de données et le comportement interprocédural. En mettant en évidence les défauts dès leur détection, il vous permet de trier et de corriger les bugs dès le début du processus de développement.

Polyspace Bug Finder vérifie la conformité aux normes de règles de codage telles que MISRA C™, MISRA C++, JSF++, CERT^® C, CERT C++, ainsi qu’aux conventions de nommage personnalisées. Il génère des rapports répertoriant les bugs détectés, les infractions aux règles de codage et les métriques de qualité du code, comme la complexité cyclomatique. Polyspace Bug Finder peut être utilisé avec l’IDE Eclipse™ pour analyser du code sur votre desktop.

Pour le code généré automatiquement, les résultats Polyspace peuvent être tracés jusqu’aux modèles Simulink^® et aux blocs dSPACE^® TargetLink^®.

Le support des normes industrielles est assuré via l'IEC Certification Kit (ISO 26262 and IEC 61508) et le DO Qualification Kit (DO-178).