Re: Buffer overflow Article - CACM

[<adaworks@sbcglobal.net>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:1wclw5pmb787b$.1srcn4xk9xxr5.dlg@40tude.net...
>
> As for Robert's note about explicit indices, it would be nice to have
>
>    for E in X loop ...
>
You are correct.  Consider,

     procedure Array_Loop is
          type Index is range 1..10;
          X : array (Index) of Integer;
    begin
          for I in Index loop
             null;
         end loop;
    end Array_Loop;

No overflow.  No indexing off the end of the array.   Easy to
compose.   Easy to read.    As for X'Range, I have never seen
a case where it ran off the end of an array.   In any case, once my
program, as shown above, is compiled and linked, it would
be diffcult for an attacker to exploit it.

Richard Riehle