Accelerating the pace of engineering and science

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 simultanéité, les failles de sécurité et autres défauts dans les logiciels embarqués C et C++. Grâce à l'analyse statique, Polyspace Bug Finder analyse le flux de contrôle logiciel, le flux de données et le comportement interprocédures. En mettant en évidence les défauts dès leur détection, il vous 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++ 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).

Fast-Track MISRA Compliance of Generated Code

En savoir plus

Essayer Polyspace Bug Finder

Obtenir une version d'évaluation
Ram Cherukuri

Dernières actus

de Ram Cherukuri, expert technique de Polyspace Bug Finder