safecode/test/mem_safety/uninitialized_variable/uninitialized_variable-003.c

/* Use an uninitialized pointer as an array */

int main()
{
  int a, *b;
  a = b[1];
  return a;
}