Re: [Spark] Arrays of Strings

[Vinzent Hoefler <ada.rocks@jlfencey.com>]

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.

-- 
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.