Polyspace Bug Finder

Identification des défauts logiciels via l’analyse statique

Polyspace Bug Finder identifie les erreurs d’exécution, les problèmes de flux de données et d’autres défauts dans du code embarqué C et C++. Grâce à l’analyse statique, Polyspace Bug Finder analyse le contrôle logiciel, le flux de données et le comportement inter-procédures. Il permet de trier et de corriger les erreurs dès le début du processus de développement.

Polyspace Bug Finder vérifie la conformité aux normes de règles de codage comme MISRA-C®, MISRA-C++, JSF++, ainsi qu’à des règles 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 systèmes de déploiement existants.

Pour du code généré automatiquement, les résultats renvoyés par Polyspace® peuvent être liés aux modèles Simulink®, aux blocs dSPACE® TargetLink® et aux diagrammes IBM® Rational® Rhapsody®.

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

Comprehensive Static Analysis Using Polyspace Products

View whitepaper

Essayer Polyspace Bug Finder

Obtenir une version d'évaluation