novaBBS - comp.lang.ada - [Ann] New version of AdaControl released

[Ann] New version of AdaControl released

<sig4f4$noc$1@dont-email.me>

https://www.novabbs.com/devel/article-flat.php?id=5993&group=comp.lang.ada#5993

Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: ros...@adalog.fr (J-P. Rosen)
Newsgroups: comp.lang.ada
Subject: [Ann] New version of AdaControl released
Date: Wed, 22 Sep 2021 22:42:12 +0200
Organization: Adalog
Lines: 31
Message-ID: <sig4f4$noc$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 22 Sep 2021 20:42:12 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="057ee52c28fbb797c7e5d28dc528bba6";
logging-data="24332"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19ITOIhC0ByX3STZqdXotjX"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.14.0
Cancel-Lock: sha1:9+SHT1APV9xj55a5r0PC1d63mkk=
Content-Language: fr
X-Mozilla-News-Host: snews://reader80.eternal-september.org:563

by: J-P. Rosen - Wed, 22 Sep 2021 20:42 UTC

Adalog is pleased to announce a new version of AdaControl (1.22r15).

This version features a number of new rules and enhancements, reaching
73 rules and 591 possible checks.

Noteworthy improvements include a rule to check for known exceptions;
this includes a data-flow tracing function, that benefits other rules
too; a subrule to check assignments that could benefit from the new "@"
syntax of Ada 202X, and other simplifiable statements; enhanced
detection of redundant instantiations of generics, and more.

There is also a possibility to define you own output format, with
examples using Toml and Yaml formats.

As usual, the complete list of improvements and new features can be
found in file HISTORY.

Installation procedures have slightly changed, due to AdaCore's decision
to not provide the community with the useful tools that it reserves to
paying customers. Please read the details on AdaControl's home page,
where you can download this version from:
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

Science may someday discover what faith has always known.

devel / comp.lang.ada / [Ann] New version of AdaControl released

Subject	Author
[Ann] New version of AdaControl released	J-P. Rosen