safecode/test/cstdlib/strcat-004.c

// RUN: test.sh -e -t %t %s

// Concatenate onto destination buffer that is too short.

#include <string.h>

int main()
{
  char buf[1];
  buf[0] = '\0';
  strcat(buf, "s");
  return 0;
}