La nouvelle version de CodePeer, le logiciel d’analyse statique de code source Ada du français Adacore, s’enrichit de fonctionnalités qui facilitent le traitement des applications d’envergure. Le logiciel CodePeer de la société française Adacore est un outil d’analyse statique de code source écrit en Ada, capable de détecter à la fois des erreurs logiques et des erreurs d’exécution. Plus précisément il identifie les constructions susceptibles de mener à des erreurs d’exécution (comme les dépassements de mémoire) et détecte les erreurs logique du type variables non initialisées, code mort,etc. Avec la capacité d’annoter le code avec un formalisme compréhensible.
Dans sa version 2.0, CodePeer supporte les pointeurs de programmes, optimise la génération de code au format intermédiaire SCIL et rend possible la génération de ce code SCIL sur plusieurs cœurs de processeurs. En outre, CodePeer 2.0 avertit l’utilisateur lorsqu’une affectation ne modifie pas la variable de destination et génère un nombre de faux positifs (fausses alertes) plus faible que les versions précédentes.
CodePeer intègre également plusieurs outils d’analyse qui lui sont communs avec l’outil Gnat Pro d’Adacore (environnement de développement pour Ada): un outil de vérification de conformité du code par rapport à un standard (GNATcheck), un générateur de métriques de code (GNATmetric), un analyseur de sémantique et un générateur de documentation.
