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

/* Uninitialized static pointer. */

#include <string.h>

int main()
{
  static char *ptr;
  strcpy(ptr, "string");
  return 0;
}