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

/* Read from an uninitialized string. */

#include <string.h>

int main()
{
  char *string;
  char buf[1000];
  memcpy(buf, string, 1000);
  return 0;
}