From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Tero Koskinen <tero.koskinen@iki.fi>
Newsgroups: comp.lang.ada
Subject: Re: Is this a bug?
Date: Mon, 6 Jan 2020 14:19:56 +0200
Message-ID: <b65027ea-a793-24f5-0ae9-ca1c72275522@iki.fi>
References: <c50bce0f-f69a-4182-9813-a4909f7dbcd6@googlegroups.com>
 <1d96e0e1-7700-4947-9fcb-051a1203c703@googlegroups.com>
 <h6uum4F2481U1@mid.individual.net> <que0g1$5rn$1@franka.jacob-sparre.dk>
 <d770cfc3-0d99-4b4f-af61-22e9ec849ba7@googlegroups.com>
 <qugfrp$b0t$1@franka.jacob-sparre.dk> <qukden$1k8o$2@gioia.aioe.org>
 <8bc80421-29fb-4f19-baf0-b14680a99c32@googlegroups.com>
 <qumug8$1bsj$1@gioia.aioe.org> <quon1s$8ie$1@franka.jacob-sparre.dk>
 <a0926b59-00fa-43d2-825c-06cff0cb81cd@googlegroups.com>
 <quv318$b3l$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: individual.net I5kJ4ZXVHKvm5xpirm6Pygaz0SRmIqnb6aNULkcvUAgpVmZcOO
Cancel-Lock: sha1:Js2sjB3gfjtRfkVikNyRKdLQalo=
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101
 PostboxApp/7.0.10
In-Reply-To: <quv318$b3l$1@dont-email.me>
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:57795
Date: 2020-01-06T14:19:56+02:00
List-Id: <comp.lang.ada>

Hi,

J-P. Rosen wrote on 6.1.2020 12.43:
> Le 05/01/2020 à 14:32, reinert a écrit :
>> I have just started to try it out using gnatcheck.aru as rule file :-)
> 
> This is not the best option to start from, as it provides only the
> AdaControl equivalent of Gnatcheck rules - so you won't benefit from the
> many extra possibilities of AdaControl ;-). This file is intended to
> ease migration from Gnatcheck to AdaControl .
> 
> A good starting point is verif.aru (common rules) or nasa.aru (nasa
> coding guidelines) in directory "rules".

My Ahven library also has a set of AdaControl rules:

https://hg.sr.ht/~tkoskine/ahven/browse/default/rules/ahven.aru

Yours,
  Tero