Polyspace Bug Finder Server

Identifier les défauts logiciels via des analyses statiques exécutées sur serveurs

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 la conformité du code source aux règles de codage (MISRA C^®, MISRA C++, JSF++), aux règles de sécurité (CWE, CERT^® C, CERT C++, ISO/IEC 17961) et aux 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 Access pour le triage et la résolution.

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

Automatiser l'analyse de code avec Polyspace Bug Finder Server

Identifier les bugs et les vulnérabilités des logiciels

Trouvez de nombreuses catégories différentes de bugs, comme les vulnérabilités de sécurité, la concurrence et les défauts numériques. Configurez l’analyse pour tout compilateur, processeur cible et environnement RTOS.

Documentation

Conformité aux normes de codage

Appliquez les normes de codage pour les logiciels embarqués telles que MISRA C, MISRA C++, AUTOSAR C++14, JSF++ et les conventions de nommage personnalisées.

Documentation

Test statique de sécurité des applications

Sécurisez votre code en détectant les vulnérabilités et les problèmes de sécurité et respectez les normes et directives de codage sécurisé telles que CERT C/C++, CWE, ISO 17961 et l'amendement 1 de la norme MISRA C:2012.

Cybersécurité pour votre software critique en C et C++ (54:13)

Documentation

Support de certification

Créez les artefacts nécessaires pour achever le processus de certification pour les normes de sécurité et de sûreté industrielles telles que IEC 61508, ISO 26262, ISO/SAE 21434 ou DO-178C, jusqu’aux plus hauts niveaux de sûreté/sécurité fonctionnelle.

Documentation

Exécuter une analyse statique de code sur n’importe quelle plateforme

Exécutez Polyspace Bug Finder Server sur un serveur d’automatisation local ou dans le cloud. Utilisez les architectures de référence MathWorks pour déployer sur des plateformes telles que Docker, AWS^® et Azure^®.

Documentation

Conteneur Polyspace Bug Finder Server sur DockerHub

Polyspace Bug Finder Server Dockerfile

Automatiser et intégrer dans la DevOps

Polyspace supporte les pratiques modernes de développement logiciel en se connectant aux workflows et outils DevOps existants. Polyspace fonctionne avec les outils d’intégration continue les plus courants, tels que Jenkins et Bamboo^®.

Analyse statique pour la sécurité et la DevOps avec Polyspace (46:00)

Documentation