Produits Polyspace pour desktops et serveurs

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).

Concernant les workflows propres aux desktops, consultez :

Voir aussi Différences entre Polyspace Bug Finder et Polyspace Code Prover.

Polyspace Code Prover

Polyspace Code Prover™ est un outil d'analyse statique exhaustive permettant de prouver l'absence de dépassements, de divisions par zéro, d’indexation de tableaux hors limites et d’autres erreurs run-time dans du code source C et C++. Il produit des résultats sans nécessité d'exécution du programme, d’instrumentation du code ou de cas de tests. Polyspace Code Prover utilise l'analyse sémantique et l'interprétation abstraite reposant sur des méthodes formelles pour vérifier le comportement interprocédural, de contrôle et de flux de données du logiciel. Vous pouvez l'utiliser pour vérifier du code manuel, du code généré, ou une combinaison des deux. Un code couleur est utilisé pour indiquer si chaque instruction dans le code est exempte d’erreurs run-time, avérée défaillante, inaccessible ou non prouvée.

Polyspace Code Prover affiche les informations de plage pour les variables et les valeurs renvoyées par les fonctions ; il peut identifier les variables qui dépassent les limites de plage spécifiées. Les résultats de la vérification du code peuvent être utilisés pour suivre les métriques de qualité et vérifier la conformité avec les objectifs de qualité logicielle. Polyspace Code Prover peut être utilisé avec l’IDE Eclipse afin de vérifier du code sur votre desktop.

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

Concernant les workflows propres aux desktops, consultez :

Voir aussi Différences entre Polyspace Bug Finder et Polyspace Code Prover.

Polyspace Bug Finder Server

Polyspace Bug Finder Server™ est un moteur d’analyse statique qui identifie les classes courantes de bugs en C et C++, notamment les erreurs run-time, les problèmes de concurrence et d’autres défauts de codage. Polyspace Bug Finder Server vérifie également que le code source respecte les règles de codage (MISRA C, MISRA C++, JSF++), les règles de sécurité (CWE, CERT-C, CERT-C++, ISO/IEC 17961) et les règles personnalisées.

Avec Polyspace Bug Finder Server, vous pouvez contrôler les métriques de code, notamment la complexité cyclomatique et les métriques HIS au niveau des projets, des fichiers et des fonctions. Vous pouvez configurer le serveur pour l’utiliser avec divers compilateurs, processeurs cibles et environnement RTOS, et automatiser l’exécution avec des systèmes d’intégration continue en utilisant des outils tels que Jenkins. Les résultats de l’analyse du code peuvent être publiés dans Polyspace Bug Finder Access™ pour le triage et la résolution.

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

Concernant les workflows propres aux serveurs, consultez :

Polyspace Code Prover Server

Polyspace Code Prover Server est un moteur d'analyse statique exhaustive permettant de prouver l'absence de dépassements, de divisions par zéro, d’indexation de tableaux hors limites et de certaines erreurs run-time dans du code C et C++. Il réalise une analyse interprocédurale de tous les flux de contrôle et de données possibles, y compris du code multithreadé, pour identifier chaque opération comme étant toujours sûre, toujours erronée, inaccessible ou vulnérable. Polyspace Code Prover Server identifie les segments de code qui sont exempts d’erreurs run-time, avérés défaillants, inaccessibles ou non prouvés.

Vous pouvez exécuter Polyspace Code Prover Server sur un ordinateur de type serveur et l’intégrer à des systèmes de compilation et d’intégration continue pour la vérification automatisée avec des outils tels que Jenkins. Les résultats de l’analyse peuvent être publiés dans Polyspace Code Prover Access pour le triage et la résolution.

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

Concernant les workflows propres aux serveurs, consultez :

Polyspace Access

Polyspace Access permet aux équipes d'ingénieurs logiciels de vérifier la qualité du code pendant tout le cycle de vie du développement logiciel. Il comprend Polyspace as You Code, un plug-in IDE qui offre la possibilité aux développeurs de détecter les écarts de conformité du code, les défauts logiciels, ainsi que les vulnérabilités de sécurité avant l'intégration du code. Il propose également un accès à une interface web dédiée à la revue des résultats d'analyse statique du code source intégré, générée par Polyspace Bug Finder Server et Polyspace Code Prover Server.

Polyspace as You Code détecte les défauts critiques et les vulnérabilités de sécurité et vérifie la conformité du code avec des normes de codage telles que MISRA C, MISRA™ C++, AUTOSAR C++14, CERT C, CERT C++, ainsi qu’avec les conventions de nommage personnalisées. Intégrée sous forme de plug-in à l'IDE du développeur (par exemple Visual Studio®, Visual Studio Code ou Eclipse), cette extension présente les résultats dans la vue du code source. Lorsqu'elle est connectée au dépôt central de Polyspace Access, elle signale uniquement les nouveaux problèmes ajoutés par le développeur, par rapport à la base de référence du développement.

L'interface web donne la possibilité aux développeurs et aux ingénieurs qualité de plusieurs projets de collaborer sur les résultats d'analyse statique du code. Du tableau de bord du projet aux résultats de recherche, les membres de l'équipe peuvent surveiller les tendances de qualité et analyser, revoir et assigner les vulnérabilités logicielles, les métriques de code, les erreurs run-time critiques et le respect des normes de codage. L'intégration avec des outils de gestion de projet tels que JIRA vous permet de collaborer en équipe pour une qualité du code optimale. Polyspace Access comprend un dépôt centralisé hébergé localement ou sur le cloud, qui s'intègre à des systèmes d'authentification tels que LDAP pour contrôler l'accès aux données du projet.

Concernant les workflows propres aux navigateurs web, consultez :

Concernant les workflows propres aux IDE, consultez :