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).
Automatiser l'analyse de code avec Polyspace Code Prover Server
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 Bug Finder
Identifier les défauts du logiciel avec l'analyse statique.
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 Server
Identifier les défauts logiciels via des analyses statiques exécutées sur serveurs.
Polyspace Client for Ada
Prouver l'absence d'erreurs run-time dans le code source.
Polyspace Code Prover
Vérifiez de manière exhaustive les instructions C et C++ les plus critiques à l'aide de méthodes formelles.
Polyspace Server for Ada
Vérifier du code sur des clusters d’ordinateurs et publier des métriques.
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
