Polyspace Code Prover Server s'intègre aux pipelines CI pour prouver l'absence de certaines erreurs d'exécution telles que le dépassement de capacité, la division par zéro et l'accès hors limites aux tableaux dans le code C/C++. Il propose également des informations sur le contrôle et le flux de données, et vérifie l'accès concurrent correct à la mémoire partagée entre les tâches (threads).
Polyspace Code Prover Server utilise une analyse statique basée sur l'interprétation abstraite et les méthodes formelles, offrant des résultats sans exécuter du code, ajouter d'instrumentation ni écrire de cas de test. Vous pouvez télécharger les résultats sur Polyspace Access pour la collaboration et le suivi des tendances de qualité, et les exporter dans des formats lisibles par machine adaptés aux contrôles qualité CI. Vous pouvez analyser n'importe quelle combinaison de code C/C++, écrit manuellement ou généré par Simulink ou un assistant IA.
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).
Prouver l'absence d'erreurs run-time critiques
Analysez tous les chemins du code avec toutes les entrées possibles sans exécuter le code. Identifiez les instructions qui ne généreront jamais d’erreur run-time, quelles que soient les conditions du run-time et trouvez-en d'autres nécessitant votre intervention.
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®.
Exécuter une analyse statique de code sur n’importe quelle plateforme
Exécutez Polyspace Code Prover Server sur un serveur d’automatisation local ou dans le cloud. Utilisez les architectures de référence MathWorks pour déployer vos solutions sur des plateformes telles que Docker, AWS® et Azure®.
Support de certification
Créez des artefacts nécessaires pour finaliser le processus de certification des normes industrielles. TÜV SÜD certifié pour les niveaux de sécurité de fonctionnement les plus élevés IEC 61508 et ISO 26262. Supporte la qualification DO-178C.
Prévenir les comportements inattendus du logiciel
Identifiez toutes les sections de code inaccessibles quel que soit le chemin d'exécution et les erreurs figurant dans la structure du programme et dans la logique.
Analyser l'utilisation des variables globales
Réduisez le temps consacré à débugger des problèmes d'opérations de lecture/écriture sur les variables globales. Identifiez les variables inutilisées et les variables partagées non protégées.
Test statique de sécurité des applications
Prouvez l'absence de vulnérabilités critiques de sécurité telles que les dépassements de mémoire tampon, l'accès mémoire et les dépassements numériques. Réduisez la nécessité du fuzzing en analysant le code sur l'ensemble des chemins du code et des entrées sans exécuter le code.
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
Vérifiez de manière exhaustive les instructions C et C++ les plus critiques à l'aide de méthodes formelles.
FAQ sur Polyspace Code Prover Server
Polyspace Code Prover Server est un moteur d'analyse statique qui s'exécute sur des systèmes serveurs pour prouver l'absence d'erreurs d'exécution critiques et fournir des vues architecturales telles que des graphes d'appels et l'utilisation des données globales dans du code C et C++, dans le cadre de workflows d'intégration continue.
Polyspace Code Prover Server utilise une analyse statique basée sur des méthodes formelles pour explorer tous les chemins d'exécution et toutes les entrées du code C/C++ sans l'exécuter.
Il aide à améliorer la sécurité logicielle en prouvant l'absence de vulnérabilités critiques telles que les dépassements de tampon, les accès mémoire invalides et les dépassements de capacité numériques, sur tous les chemins d'exécution et pour toutes les entrées, sans exécuter le code.
Polyspace Code Prover est utilisé de manière interactive via une interface utilisateur de bureau, tandis que Polyspace Code Prover Server est optimisé pour l'analyse automatisée dans des workflows d'intégration continue (CI) et le partage des résultats via Polyspace Access.
Oui, il peut analyser du code généré automatiquement, avec des résultats traçables jusqu'aux modèles Simulink et aux blocs dSPACE TargetLink.
Oui. Polyspace Code Prover Server s'intègre aux pipelines d'intégration continue pour prendre en charge l'analyse statique automatisée dans des workflows DevOps.
Polyspace Code Prover Server peut fonctionner sur des serveurs d'automatisation sur site ou dans le cloud, y compris dans des déploiements conteneurisés basés sur les architectures de référence MathWorks.
Polyspace Code Prover Server publie les résultats d'analyse sur 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 Code Prover Server ?
Pour aller plus loin…
Navigation dans l'interface
ARTICLES GRATUITS
Articles sur l'analyse statique Polyspace
Navigation dans l'interface
PRODUIT
