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.

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.

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.

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.

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.

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.