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.2 required=5.0 tests=BAYES_00,FROM_LOCAL_HEX,
	FROM_STARTS_WITH_NUMS autolearn=no 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: 
 g2news2.google.com!news2.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!news.glorb.com!news2.glorb.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "Vinzent Hoefler" <0439279208b62c95f1880bf0f8776eeb@t-domaingrabbing.de>
Newsgroups: comp.lang.ada
Subject: Re: How do I write directly to a memory address?
Date: Tue, 08 Feb 2011 21:48:25 +0100
Message-ID: <op.vqlqqzxllzeukk@jellix.jlfencey.com>
References: 
 <67063a5b-f588-45ea-bf22-ca4ba0196ee6@l11g2000yqb.googlegroups.com>
 <iimmvm$tsp$1@news.eternal-september.org> <8r86vgFc3uU1@mid.individual.net>
 <iimrem$udn$1@news.eternal-september.org>
 <19fh1chm74f9.11cws0j5bckze.dlg@40tude.net>
 <fa33fca1-c95b-4558-8a4c-7b3276366ffc@m13g2000yqb.googlegroups.com>
 <4d4ff70e$0$6886$9b4e6d93@newsspool2.arcor-online.net>
 <737a6396-72bd-4a1e-8895-7d50f287960e@d28g2000yqc.googlegroups.com>
 <4d5008a5$0$6879$9b4e6d93@newsspool2.arcor-online.net>
 <eda00084-fcc3-416c-bd3e-8b9e9c1a4b40@o13g2000yql.googlegroups.com>
 <4d5031fe$0$6765$9b4e6d93@newsspool3.arcor-online.net>
 <1f229967-d3cf-42b6-8087-c97ee08652f3@i40g2000yqh.googlegroups.com>
 <4d5110ea$0$7669$9b4e6d93@newsspool1.arcor-online.net>
 <1fb3ce45-ffcc-4c1c-8f76-d151975c8425@x1g2000yqb.googlegroups.com>
 <4d511500$0$7665$9b4e6d93@newsspool1.arcor-online.net>
 <ea9f26e9-c741-4732-824a-ca4a3cf2a353@m16g2000prc.googlegroups.com>
 <4d518a90$0$7651$9b4e6d93@newsspool1.arcor-online.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: 7bit
X-Trace: individual.net Ja4hFhum4W8Xx8Sdg5thxQQKB4LGU4Qu01PDNnOxCcpL+b0ucY
Cancel-Lock: sha1:nEZ3EKFSAAQpfNtt2Zw7rku78HI=
User-Agent: Opera Mail/11.01 (Win32)
Xref: g2news2.google.com comp.lang.ada:18003
Date: 2011-02-08T21:48:25+01:00
List-Id: <comp.lang.ada>

Georg Bauhaus wrote:

> I wish they were collected in some unbiased public wiki,
> together with a kind of cost analysis, metaphorical or real,
> of the observed effects.  Wouldn't this be a nice addition
> to the Style Guide? A chapter on Bug Avoidance Techniques (BAT)?.

Look at MISRA-C to see what BAT does to C. And then again, look at
Ada and compare how many of these rules could are applicable to Ada
at all.

That at least tells me, that the most common errors ever done in C
(which MISRA is trying to avoid) are not even possible in Ada.

At least not without employing dirty tricks.


Vinzent.

-- 
You know, we're sitting on four million pounds of fuel, one nuclear weapon,
and a thing that has 270,000 moving parts built by the lowest bidder.
Makes you feel good, doesn't it?
   --  Rockhound, "Armageddon"