Accelerating the pace of engineering and science

Polyspace Bug Finder

Support du compilateur Diab

Support du compilateur Diab

Configurez l’analyse Polyspace en toute simplicité pour le code compilé à l’aide du compilateur Wind River Diab

Configuration de l’analyse du code multitâches

Configuration de l’analyse du code multitâches

Spécifiez des tâches cycliques et des interruptions non préemptables directement en tant qu’options d’analyse

API Polyspace dans MATLAB

API Polyspace dans MATLAB

Configurez et exécutez Polyspace à l’aide d’objets MATLAB

Support de la norme CERT C

Support de la norme CERT C

Identifiez les infractions à la norme CERT C à l’aide de contrôleurs de défauts et de règles de codage

Graphes de type « data-race »

Graphes de type « data-race »

Résolvez facilement les défauts de type « data-race » à l’aide d’une vue graphique de la séquence d’appel de

Fichiers à vérifier

Fichiers à vérifier

Générez des résultats uniquement pour les fichiers et les dossiers spécifiés

Saisie automatique des commentaires de revue

Saisie automatique des commentaires de revue

Saisissez partiellement le commentaire précédent pour sélectionner l'intégralité du commentaire

Vérification MISRA plus rapide

Vérification MISRA plus rapide

Vérifiez les règles de codage de manière plus rapide et plus efficace

Analyse des S-functions

Analyse des S-functions

Lancez l'analyse du code des S-Functions à partir de Simulink

États des filtres persistants

États des filtres persistants

Appliquez les filtres une seule fois et affichez les résultats filtrés sur plusieurs exécutions

Résultats en temps réel

Résultats en temps réel

Affichage des résultats dès qu'ils sont disponibles

Regarder la vidéo02:06

Augmentation du nombre de catégories de défauts

Augmentation du nombre de catégories de défauts

Détection des vulnérabilités de sécurité, les problèmes de gestion des ressources et les problèmes liés à la conception orientée objet

Mixed C/C++ Code

Code mixte C/C++

Exécution d'analyse sur l'intégralité du projet avec des fichiers sources C et C++​

Support complet de MISRA C 2012

Support complet de MISRA C 2012

Détection des violations de toutes les règles de MISRA C 2012

En savoir plus

Support amélioré d'Eclipse

Support amélioré d'Eclipse

Affichage des résultats intégrés dans le code source et l'aide contextuelle

Latest Releases

R2016b (Version 2.2) - 14 sept 2016

La version 2.2, incluse dans la mise à jour 2016b, comporte les améliorations suivantes :

Configuration de l’analyse

  • Support du compilateur Diab : Configurez l’analyse Polyspace en toute simplicité pour le code compilé à l’aide du compilateur Wind River Diab
  • Configuration de l’analyse du code multitâches : Spécifiez des tâches cycliques et des interruptions non préemptables directement en tant qu’options d’analyse
  • API Polyspace dans MATLAB : Configurez et exécutez Polyspace à l’aide d’objets MATLAB

Analyse des résultats

  • Support de la norme CERT C : Identifiez les infractions à la norme CERT C à l’aide de contrôleurs de défauts et de règles de codage

Vérification des résultats

  • Graphes de type « data-race » : Résolvez facilement les défauts de type « data-race » à l’aide d’une vue graphique de la séquence d’appel de fonction

Pour en savoir plus, reportez-vous aux Notes de mise à jour.

R2016a (Version 2.1) - 3 mars 2016

La version 2.1, incluse dans la mise à jour 2016a, comporte les améliorations suivantes :

  • Fichiers à vérifier : Générez des résultats uniquement pour les fichiers et les dossiers spécifiés
  • Saisie automatique des commentaires de revue : Saisissez partiellement le commentaire précédent pour sélectionner l'intégralité du commentaire
  • Vérification MISRA plus rapide : Vérifiez les règles de codage de manière plus rapide et plus efficace
  • Analyse des S-functions : Lancez l'analyse du code des S-Functions à partir de Simulink
  • États des filtres persistants : Appliquez les filtres une seule fois et affichez les résultats filtrés sur plusieurs exécutions

Pour en savoir plus, reportez-vous aux Notes de mise à jour.

R2015aSP1 (Version 1.3.1) - 14 oct 2015

La version 1.3.1, incluse dans la Release 2015aSP1, propose des corrections d'erreurs.

Pour en savoir plus, reportez-vous aux Notes de mise à jour.

R2015b (Version 2.0) - 3 sept 2015

La version 2.0, incluse dans la mise à jour 2015b, comporte les améliorations suivantes :

  • Résultats en temps réel : Affichage des résultats dès qu'ils sont disponibles
  • Code mixte C/C++ : Exécution d'analyse sur l'intégralité du projet avec des fichiers sources C et C++
  • Augmentation du nombre de catégories de défauts : Détection des vulnérabilités de sécurité, les problèmes de gestion des ressources et les problèmes liés à la conception orientée objet
  • Autodétection des primitives multitâches Analyse du code source avec des primitives multitâches de POSIX et VxWorks sans configuration manuelle
  • Support amélioré d'Eclipse : Affichage des résultats intégrés dans le code source et l'aide contextuelle
  • Support complet de MISRA C 2012 : Détection des violations de toutes les règles de MISRA C 2012
  • Erreurs classées par impact : Classement par ordre de priorité de l'examen des erreurs grâce à l'attribut d'impact attribué à chacun des types d'erreur

Pour en savoir plus, reportez-vous aux Notes de mise à jour.

R2015a (Version 1.3) - 5 mars 2015

La version 1.3, incluse dans la mise à jour 2015a, comporte les améliorations suivantes :

  • Simplification du flot de travail pour la configuration des projets et l'examen des résultats à l'aide d'une interface utilisateur unifiée
  • Métriques de complexité du code disponibles dans l'interface utilisateur
  • Aide contextuelle disponible pour les métriques de complexité, MISRA-C:2012 et les règles de codage personnalisées
  • Examen des résultats les plus récents et comparaison avec la dernière exécution

Pour en savoir plus, reportez-vous aux Notes de mise à jour.

R2014b (Version 1.2) - 2 oct 2014

La version 1.2, incluse dans la mise à jour 2014b, comporte les améliorations suivantes :

  • Prise en charge de MISRA C 2012
  • Compilation parallèle pour des analyses plus rapides
  • Détection des problèmes de simultaneité (deadlocks, double blocages et autres)
  • Prise en charge de Mac OS
  • Prise en charge de C++11
  • Aide contextuelle concernant les erreurs et les options d'analyse

Pour en savoir plus, reportez-vous aux Notes de mise à jour.