The Ariane 5 disaster was due to a variety of software development
failures: process, reuse, design, and coding. the coding error was an
uncaught exception resulting from a floating point to integer conversion
error.
My only point was that choice of language does not in and of itself
protect y
At 9:16 AM -0400 6/10/07, Robert C. Seacord wrote:
> ljknews,
>
> Yes, it is virtually impossible to get a serious runtime error in an Ada
> program. For example:
>
> http://www.youtube.com/watch?v=kYUrqdUyEpI
It amazes me that someone in a discussion of software security would point
to a page
ljknews,
Yes, it is virtually impossible to get a serious runtime error in an Ada
program. For example:
http://www.youtube.com/watch?v=kYUrqdUyEpI
rCs
> At 9:51 PM +0100 6/9/07, David Crocker wrote:
>
>
>> If instead we pay people to perform the more skilled tasks of establishing
>> requir
At 9:51 PM +0100 6/9/07, David Crocker wrote:
> If instead we pay people to perform the more skilled tasks of establishing
> requirements and specifying the systems to meet them, and use computers to
> generate programs that meet the specifications, then such things as freedom
> from
> buffer ove
eschertech.com
-Original Message-
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On
Behalf Of SC-L Subscriber Dave Aronson
Sent: 07 June 2007 13:53
To: SC-L@securecoding.org
Subject: Re: [SC-L] FW: What's the next tech problem to be solvedin
softwaresecurity?
Michael S Hines [m