Path: ...!weretis.net!feeder6.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: fr.comp.lang.ada
Subject: [Ann] Nouvelle version d'AdaControl
Date: Wed, 22 Sep 2021 22:51:56 +0200
Organization: Adalog
Lines: 33
Message-ID: <sig51o$rgv$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 22 Sep 2021 20:52:08 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="057ee52c28fbb797c7e5d28dc528bba6";
	logging-data="28191"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+wpBWZEAsUl2ZI90Amat53"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
 Thunderbird/78.14.0
Cancel-Lock: sha1:LLglmt+Efhipv6z8PQU/1NrlFSM=
Content-Language: fr
X-Mozilla-News-Host: snews://reader80.eternal-september.org:563
Bytes: 2465

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