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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,463c5796782db6d8
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-04-09 05:47:19 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.freenet.de!news.tu-darmstadt.de!fu-berlin.de!uni-berlin.de!firewall.mdc-dayton.COM!not-for-mail
From: Vinzent Hoefler <ada.rocks@jlfencey.com>
Newsgroups: comp.lang.ada
Subject: Re: [Spark] Arrays of Strings
Date: Wed, 09 Apr 2003 08:47:16 -0400
Organization: JeLlyFish software
Message-ID: <b714ol$9v3of$1@ID-175126.news.dfncis.de>
References: <slrnb95ehu.ob.lutz@taranis.iks-jena.de>
 <pan.2003.04.08.18.08.55.205947@T-Online.de>
 <slrnb97pl4.or.lutz@taranis.iks-jena.de>
 <1049891888.75004@master.nyc.kbcfp.com>
NNTP-Posting-Host: firewall.mdc-dayton.com (12.161.103.180)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: quoted-printable
X-Trace: fu-berlin.de 1049892437 10456847 12.161.103.180 (16 [175126])
X-Newsreader: Forte Agent 1.8/32.548
Xref: archiver1.google.com comp.lang.ada:36020
Date: 2003-04-09T08:47:16-04:00
List-Id: <comp.lang.ada>

Hyman Rosen <hyrosen@mail.com> wrote:

>Not only that, but all checks are suppressed, and a type Natural
>variable is being used to index and write into a fixed size buffer.
>You are just begging for a buffer overflow error here.

You might read a little bit more about SPARK.

>This is what the reliable Spark subset of Ada gives you?

The reliability is not in the subset like in MISRA-C, it is in the
static analysis. I think, it is called *proof*.


Vinzent.

--=20
Parents strongly cautioned  --  this  posting  is  intended for mature
audiences  over  18.  It  may  contain some material that many parents
would not find suitable for children and may include intense violence,
sexual situations, coarse language and suggestive dialogue.