Polyspace Bug Finder

Nouvelles Fonctionnalités

R2014b (Version 1.2)

Sortie le: 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.

Releases Précédentes

R2014a (Version 1.1) - 6 mars 2014

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

  • Systèmes de configuration et de création automatiques du projet
  • Classification des erreurs selon la liste Common Weakness Enumeration (CWE)
  • Prise en charge de règles de codage supplémentaires (MISRA-C:2004 Rule 18.2, MISRA-C++ Rule 5-0-11)
  • Prise en charge des dialectes GNU 4.7 et Microsoft Visual Studio C++ 2012

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