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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no 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: g2news2.google.com!postnews.google.com!c26g2000vbq.googlegroups.com!not-for-mail From: Maciej Sobczak Newsgroups: comp.lang.ada Subject: Re: Does Ada need a 'secure coding standard' as well? Date: Sun, 29 May 2011 08:23:52 -0700 (PDT) Organization: http://groups.google.com Message-ID: <56847815-8d29-4bd9-831c-28f1fdb95907@c26g2000vbq.googlegroups.com> References: NNTP-Posting-Host: 83.3.40.82 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: posting.google.com 1306682632 6385 127.0.0.1 (29 May 2011 15:23:52 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Sun, 29 May 2011 15:23:52 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: c26g2000vbq.googlegroups.com; posting-host=83.3.40.82; posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S User-Agent: G2/1.0 X-Google-Web-Client: true X-Google-Header-Order: HUALESNKRC X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US; rv:1.9.2.13) Gecko/20101203 Firefox/3.6.13,gzip(gfe) Xref: g2news2.google.com comp.lang.ada:20527 Date: 2011-05-29T08:23:52-07:00 List-Id: On 28 Maj, 20:53, "Nasser M. Abbasi" 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" ISO/IES TR 15942: "Guide for the use of the Ada programming language in high integrity systems" -- Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com