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

/* Uninitialized variable in an array. */

#include <string.h>

int main()
{
  char *array[20];
  strcpy(array[3], "String");
  return 0;
}