AdaCore publie  la version 2.0 de CodePeer, un outil d'analyse de code source capable de détecter statiquement des erreurs de logique et des erreurs d'exécution dans un programmes Ada. CodePeer 2.0 inclut également plusieurs outils d'analyse communs avec la technologie GNAT Pro — un outil de vérification de conformité à un standard de codage (GNATcheck), un générateur de métriques de code (GNATmetric), un analyseur sémantique et un générateur de documentation - qui s'intègrent avec l'environnement de développement GNAT Programming Studio (GPS).

CodePeer 2.0 apporte de nombreuses améliorations à la technologie, pour la plupart en réponse à des demandes de clients, notamment :

- Le support des pointeurs de sous-programmes ;

- L’amélioration de l’efficacité de la génération du format intermédiaire (SCIL), avec des fichiers SCIL plus simples, moins nombreux, et plus rapides à traiter. Le nombre de partitions par défaut requises pour une analyse par CodePeer est également réduit ;

- Le support pour la génération des fichiers SCIL en parallèle sur plusieurs cœurs, accessible par l'option « -j » de l'outil gnatmake ;

- Un nouvel avertissement, « useless self assignment », lorsqu'une affectation ne modifie pas la variable de destination ;

- Moins de « faux positifs » (fausses alertes) ;

- L’amélioration de l’intégration au sein de l'environnement de développement GPS.

Webinaire

Un séminaire en ligne (webinaire) exposant les fonctionnalités de CodePeer 2.0 sera tenu le 5 mai 2011 à 17 h (heure française), animé par Tucker Taft de SofCheck. De plus amples informations, ainsi que le formulaire d'enregistrement, sont disponibles sur http://www.adacore.com/home/gnatpro/webinars/

CodePeer a été développé dans le cadre d'une collaboration entre AdaCore et SofCheck.

Disponibilité

CodePeer est disponible dès aujourd'hui.