AdaCore publie une nouvelle version majeure de l’outil CodePeer

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.

« CodePeer 2.0 apporte de la maturité à notre technologie d’analyse statique, et facilite le traitement d’applications de grande ampleur en tirant parti des ordinateurs à plusieurs cœurs », précise Arnaud Charlet, chef du projet CodePeer chez AdaCore. « CodePeer n’est pas juste un outil de détection d’erreurs ; sa capacité à annoter le code un formalisme aisément compréhensible est une fonctionnalité unique. »