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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,37c1639cf6a3bbba,start
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!feeder3.cambrium.nl!feeder5.cambrium.nl!feed.tweaknews.nl!68.142.88.75.MISMATCH!hwmnpeer01.ams!news.highwinds-media.com!hw-filter.ams!newsfet01.ams.POSTED!40385e62!not-for-mail
From: Per Sandberg <per.sandberg@bredband.net>
User-Agent: Thunderbird 2.0.0.6 (Windows/20070728)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: A scary story from the real world.
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <0Q0Zi.409$CT3.318@newsfet01.ams>
X-Complaints-To: abuse@WWWSpace.NET
NNTP-Posting-Date: Fri, 09 Nov 2007 12:31:40 EST
Date: Fri, 09 Nov 2007 18:33:36 +0100
Xref: g2news1.google.com comp.lang.ada:18232
Date: 2007-11-09T18:33:36+01:00
List-Id: <comp.lang.ada>

I was on a conference this week and that opened my eyes on the complete 
ignorance of good compilers and languages in some the Reliable SW 
communities.
   http://www.issre2007.hv.se/extra/pod/
There was lots of talks about on how to detect values out of bounds and 
other problems that reasonable languages with type-system would find 
probably at compile time.

One Microsoft person said "we had lots of crashes in the system and the 
cause of that was that the driver vendors did not look on the return 
code from functions"
Then the blamed the poor programmer for not reading the secret "users 
manual".
/Per