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

Voir en ligne : Le site d’AdaControl