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).
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.
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.
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.
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.
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®.
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®.
Ressources liées au produit :
Famille de produits Polyspace
Les produits Polyspace sécurisent les codes critiques en testant et en contrôlant la qualité du software tout au long du cycle de développement.
Polyspace Access
Identifier les défauts de codage, revoir les résultats de l'analyse statique et contrôler les métriques de qualité logicielle.
Polyspace Copilot
Assistant IA optimisé pour Polyspace.
Polyspace Test
Développer, gérer et exécuter des tests sur le code C et C++ de vos systèmes embarqués.
Polyspace as You Code
Identifiez les violations des normes de codage et les vulnérabilités logicielles dans votre IDE.
Polyspace Test Server
Exécutez des tests et analysez la couverture structurelle du code C/C++ sur les serveurs d'automatisation.
Polyspace Code Prover Server
Vérifiez de manière continue et exhaustive les instructions de code C et C++ critiques dans les pipelines CI.
Polyspace Bug Finder
Vérifiez les règles de codage, les normes de sécurité et les métriques du code, et trouvez les bugs.
Polyspace Client for Ada
Vérifiez de manière exhaustive les unités critiques des instructions Ada à l'aide de méthodes formelles.
Polyspace Bug Finder Server
Identifiez les défauts software et appliquez les règles de codage dans vos pipelines CI.
Polyspace Server for Ada
Vérifiez de manière continue et exhaustive les instructions de code Ada critiques dans les pipelines CI.
Polyspace Code Prover
Exhaustively verify the most critical C and C++ statements using formal methods.
FAQ sur Polyspace Bug Finder Server
Polyspace Bug Finder Server est un moteur d'analyse statique qui s'exécute sur des systèmes serveur pour identifier automatiquement les bogues, les violations des règles de codage et les métriques de qualité du code dans du code C et C++ dans le cadre de workflows d'intégration continue.
Il détecte plus de 350 types de défauts de code C/C++, notamment des erreurs numériques, de flux de données, de mémoire, liées à la concurrence et des erreurs de programmation générales pouvant entraîner des défaillances à l'exécution ou des problèmes de sécurité.
Il vérifie le code C/C++ par rapport aux normes de l'industrie, notamment MISRA C, MISRA C++, AUTOSAR C++14, JSF++, CWE, CERT C et CERT C++, et prend en charge l'application de règles de codage personnalisées et de conventions de nommage.
Polyspace Bug Finder Server applique des méthodes d'analyse statique, y compris l'analyse sémantique, pour analyser le flux de contrôle, le flux de données et le comportement interprocédural dans le code C/C++ sans executer le code.
Polyspace Bug Finder s'utilise de manière interactive via une interface utilisateur de bureau, tandis que Polyspace Bug Finder Server est optimisé pour l'analyse automatisée dans les workflows d'intégration continue (CI) et le partage des résultats via Polyspace Access.
Oui. Polyspace Bug Finder Server s'intègre aux pipelines d'intégration continue pour prendre en charge l'analyse statique automatisée dans les workflows DevOps.
Polyspace Bug Finder Server peut s'exécuter sur des serveurs d'automatisation sur site ou dans le cloud, y compris dans des déploiements conteneurisés basés sur des architectures de référence MathWorks.
Oui, il peut analyser le code généré automatiquement, avec des résultats traçables jusqu'aux modèles Simulink et aux blocs dSPACE TargetLink.
Polyspace Bug Finder Server publie les résultats d'analyse dans Polyspace Access pour la revue et le triage des résultats en équipe.
Il prend en charge les workflows de certification pour IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, ISO 25119 et DO 178C/ED 12C via des kits de certification et de qualification, avec des conseils supplémentaires pour ISO/SAE 21434 et Automotive SPICE.
Vous souhaitez en savoir plus sur le produit Polyspace Bug Finder Server ?
Pour aller plus loin…
Navigation dans l'interface
ARTICLES GRATUITS
Articles sur Polyspace
Navigation dans l'interface
PRODUIT
