在C语言中，请解释“使用`strcpy`函数缓冲区溢出”？举例说明如何避免。

在C语言中，`strcpy`是一个用于复制字符串的库函数，它从源字符串逐字符复制到目标字符串直到遇到空字符'\0'停止。然而，如果对目标缓冲区大小估计不准确，或者目标缓冲区本身太小而不足以容纳完整的目标字符串加上结束符，就会发生缓冲区溢出。

例如：

char source[] = "Hello, World!";
char destination[10]; // 过于紧凑的缓冲区
strcpy(destination, source); // 此时destination数组只会存储"Hello,"，剩余部分会覆盖其他内存位置，可能导致未知错误或安全漏洞

为了防止这种缓冲区溢出，可以采取以下几个策略：

1. **检查长度**：在调用`strcpy`之前，确保目标数组有足够的空间，通常可以计算一下源字符串长度再加上必要的终止符`\0`。

size_t len = strlen(source) + 1;
if (len <= sizeof(destination)) {
    strcpy(destination, source);
}

2. **动态分配**：对于不确定大小的字符串，可以使用`strncpy`函数，并指定要复制的最大字节数，然后手动添加`\0`。

char* destination = malloc(strlen(source) + 1);
 strncpy(destination, source, strlen(source));
 destination[strlen(source)] = '\0'; // 添加终止符
 free(destination) when done; // 不要忘记释放内存

3. **使用`memcpy`**：`memcpy`函数不会自动处理字符串结尾，所以可以直接控制复制的字节数，避免溢出。

memcpy(destination, source, sizeof(source) - 1);
destination[sizeof(source) - 1] = '\0';