- Outil d’analyse statique du langage Ada pour les utilisateurs du logiciel Coverity

AdaCore, en collaboration avec Synopsys Software Integrity Group, a intégré sa suite d'outils d'analyse statique GNAT (Codepeer, GNATMetrics, GNATcheck) à l'outil d’analyse statique Coverity de Synopsys pour le langage de programmation Ada. Les utilisateurs des deux logiciels pourront utiliser la suite GNAT intégrée à la solution Coverity, fournissant une interface commune pour naviguer dans les résultats d'analyse statique.

- CodePeer, analyseur de code source Ada automatisé qui détecte les erreurs et les vulnérabilités d'exécution et de logique à n'importe quelle étape du cycle de développement

- GNATmetrics, outil de calcul de métrique de code

- GNATcheck, outil de vérification standard de codage qui vérifie automatiquement la conformité des applications Ada avec les exigences standard de codage spécifiques à l'organisation et au projet

- Outils GNAT fonctionnant sur les plates-formes Windows et Linux, utilisables avec n'importe quel compilateur Ada standard

- Prise en charge de toutes les versions d'Ada : 83, 95, 2005, 2012, 2022