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 encore.

Comme d’habitude, AdaControl est fourni sous licence GMGPL.

AdaControl est un produit commercial d’Adalog ; pour toute information concernant le support et l’assistance d’AdaControl, ou plus généralement tout ce qui concerne l’établissement et la vérification de règles de codage, merci d’écrire à info@adalog.fr