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.

Debunking Misconceptions About Static Analysis

Visionner le webinar

Essayer Polyspace Bug Finder

Obtenir une version d'évaluation
Ram Cherukuri

Dernières actus

de Ram Cherukuri, expert technique de Polyspace Bug Finder