[Ann] Nouvelle version d'AdaControl

Adalog a le plaisir d'annoncer une nouvelle version d'AdaControl (1.22r15).
Cette version comporte de nouvelles règles et des améliorations, atteignant 73 règles et 591 vérifications possibles.
Parmi les améliorations notables, une règle pour détecter les exceptions connues; ceci inclue une fonction d'analyse en flot de données dont bénéficie d'autres règles également; une sous-règle pour détecter des affectations qui bénéficieraient de la nouvelle syntaxe "@" d'Ada 202X, ainsi que d'autres cas d'instructions simplifiables; une détection améliorée des instanciations de génériques redondantes, et beaucoup d'autres choses.
On peut également définir son propre format de sortie, avec des exemples en formats Toml et Yaml.
Comme d'habitude, la liste complète des améliorations et des nouvelles fonctionnalités se trouve dans le fichier HISTORY.
La procédure d'installation a quelque peu changé, à cause de la décision d'AdaCore de ne pas fournir à la communauté les outils bien utiles qu'elle réserve à ses clients payant. Merci de lire les détails sur la page AdaControl, d'où vous pourrez télécharger cette version:
https://www.adacontrol.fr
Enjoy!
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52
https://www.adalog.fr