Polyspace Code Prover Server

 

Polyspace Code Prover Server

Prouver l'absence d'erreurs run-time dans un logiciel

Automatiser l'analyse de code avec Polyspace Code Prover Server

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.

Vous souhaitez en savoir plus sur le produit  Polyspace Code Prover Server ?