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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c9d5fc258548b22a
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news.glorb.com!news2.glorb.com!news-xxxfer.readnews.com!news-out.readnews.com!postnews3.readnews.com!postbox2.readnews.com!not-for-mail
Date: Thu, 03 Mar 2011 16:44:25 -0500
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.9.2.14) Gecko/20110221 Thunderbird/3.1.8
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: How do I write directly to a memory address?
References: 
 <67063a5b-f588-45ea-bf22-ca4ba0196ee6@l11g2000yqb.googlegroups.com>
 <31c357bd-c8dc-4583-a454-86d9c579e5f4@m13g2000yqb.googlegroups.com>
 <05a3673e-fb97-449c-94ed-1139eb085c32@x1g2000yqb.googlegroups.com>
 <4d4c232a$0$28967$882e7ee2@usenet-news.net> <4D4D6506.50909@obry.net>
 <4d50095f$0$22393$882e7ee2@usenet-news.net>
 <wcck4hb95jz.fsf@shell01.TheWorld.com>
 <4d6d56c4$0$11509$882e7ee2@usenet-news.net>
 <16u9ka51wbukr$.1fj2sb73j9rv6.dlg@40tude.net>
 <4d6d627b$0$11509$882e7ee2@usenet-news.net>
 <74986d0a-0d5b-4396-8c77-adff72e870a2@d26g2000prn.googlegroups.com>
 <4d6eafc7$0$17913$a8266bb1@postbox2.readnews.com>
 <op.vrqh3z1blzeukk@jellix.jlfencey.com>
 <4d6eb309$0$17913$a8266bb1@postbox2.readnews.com>
 <op.vrqodiwglzeukk@jellix.jlfencey.com>
 <4d6ed212$0$17960$a8266bb1@postbox2.readnews.com>
 <op.vrsdrvg1lzeukk@jellix.jlfencey.com>
 <4d7008e6$0$17918$a8266bb1@postbox2.readnews.com>
 <op.vrsefmbqlzeukk@jellix.jlfencey.com>
In-Reply-To: <op.vrsefmbqlzeukk@jellix.jlfencey.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <4d700bba$0$17959$a8266bb1@postbox2.readnews.com>
NNTP-Posting-Host: 198.186.190.52
X-Trace: 1299188667 postbox2.readnews.com 17959 198.186.190.52:35956
Xref: g2news1.google.com comp.lang.ada:17786
Date: 2011-03-03T16:44:25-05:00
List-Id: <comp.lang.ada>

On 3/3/2011 4:39 PM, Vinzent Hoefler wrote:
> You mean fancy tools like PC-Lint, Polyspace, VectorCAST?

Sure. The best one of all was Purify by Pure Software, which
was great until IBM got a hold of it.

> Funny thing about bugs is that you don't know them in
> advance, so anything here is just based on statistics here. And
> we know, that statistics is just another way to lie to people.

Yep. As JP Rosen said in The Ada Paradox(es), even if you have
rigorous research on the benefits of Ada, no one will believe it.