Adalog a le plaisir d’annoncer la disponibilité de la version 1.6r8 d’AdaControl, le vérificateur de règles libre pour Ada. Grâce au soutien de notre nouveau client SAGEM-DS et aux contributions de R. Toy, AdaControl fournit maintenant 216 vérifications. En particulier, il y a maintenant des règles pour vérifier que les commentaires d’en-tête de module correspondent à un pattern donné, l’indication de possibles faux positifs ou faux négatifs dus à des constructions non analysables statiquement, la définition fine des éléments autorisés dans les barrières d’entrées (y compris celle du profil Ravenscar), le perfectionnement de l’intégration dans GPS, et bien d’autres choses …