Détecter le plus en amont possible les erreurs d’un programme écrit en Ada est l’objectif de l’outil CodePeer d’AdaCore. L’outil d’analyse de code source CodePeer proposé par la société AdaCore, spécialisée dans les solutions de développement logiciel en langage Ada, a pour ambition de détecter et de corriger des erreurs le plus en amont possible du cycle de conception d’un projet logiciel écrit en Ada pour des applications critiques ou de très haute sécurité.
Allant au delà des possibilités des traditionnels outils d’analyse statique de code, CodePeer détecte non seulement les erreurs logiques et de run time, mais délivre également un examen détaillé de tous les sous-programmes, y compris les pré et post-conditions. L’outil analyse en particulier les problèmes de données non initialisées, de dépassement de buffer, de pointeurs mal utilisés, de division par zéro, de code mort… et avertit l’utilisateur sur les constructions suspectes, susceptibles de déclencher des erreurs logiques.

Mis en œuvre sans avoir à faire tourner le programme analysé, Code Peer tire ses analyses des informations délivrées par le compilateur Ada. Ce logiciel s’utilise soit pendant la phase de développement, afin de prévenir la production d’erreurs, soit à la fin d’un cycle d’écriture d’un programme, afin d’analyser un code complet, soit, enfin, sur des codes existants pour détecter des bogues présents à l’état latent. Développé en partenariat avec la société SoftCheck, CodePeer s’utilise en tant qu’outil autonome ou bien est intégré au sein de la plateforme de développement Ada GnatPro d’AdaCore.