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,bb14f1c1986544fb
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news.glorb.com!feeder.erje.net!news.szaf.org!news.gnuher.de!news.enyo.de!not-for-mail
From: Florian Weimer <fw@deneb.enyo.de>
Newsgroups: comp.lang.ada
Subject: Re: Does Ada need a 'secure coding standard' as well?
Date: Sun, 29 May 2011 23:03:07 +0200
Message-ID: <87ei3husms.fsf@mid.deneb.enyo.de>
References: <irrgb6$vib$1@speranza.aioe.org>
	<56847815-8d29-4bd9-831c-28f1fdb95907@c26g2000vbq.googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: ruchba.enyo.de 1306702987 4075 172.17.135.6 (29 May 2011 21:03:07
 GMT)
X-Complaints-To: news@enyo.de
Cancel-Lock: sha1:FU/1hBvLmsno9HYl+W7ddsvjhtk=
Xref: g2news1.google.com comp.lang.ada:19577
Date: 2011-05-29T23:03:07+02:00
List-Id: <comp.lang.ada>

* Maciej Sobczak:

> On 28 Maj, 20:53, "Nasser M. Abbasi" <n...@12000.org> wrote:
>
>> Or if it is even needed as much for Ada?
>
> Apparently it is, as several such documents were written for Ada.
>
> Apart from those already mentionend, these two might be of interest:
>
> "Ada95 Trustworthiness Study: Guidance on the Use of Ada95 in the
> Development of High Integrity Systems"

I don't think the CERT guide is targeted at high-integrity systems.
It's intended for an extremely broad range of things, from server
software to productivity applications for end users.  This means that
certain features are taken for granted, such as the need to restart
applications from time to time (because of a non-compacting dynamic
memory manager) and the ability of software to scale with available
resources.