Re: A Famous Security Bug

ram@zedat.fu-berlin.de (Stefan Ram) wrote or quoted:

void f()
{ char buffer[MAX];
 /* . . . */
 memset( buffer, 0, sizeof( buffer ));
 Ensures( buffer[ 0 ]== 0 ); }

  Oh, and now I see a potential bug in this:
  "buffer[ 0 ]" assumes that MAX > 0.

  (ISO C forbids "char buffer[ 0 ];", but the code
  might be used on some nonstandard implementation.)