malloc/free，似乎获得了多次释放

Question

我编写了一个函数来测试给定路径是否是有效的 Maildir 目录（标准 Maildir 具有三个子文件夹 "cur" "new" 和 "tmp" ）。函数接受假定的目录，检查这些子文件夹，然后正确返回。

我在当前代码的第二个自由语句中遇到了段错误，并且我同样遇到了“无效的下一个大小”错误，其组织略有不同。更令人困惑的是，它只在某些目录上出现段错误，而在其他目录上成功完成，没有明显的原因（尽管它在哪些目录上出现段错误是一致的）。注释掉第二个 free() 后，所有格式正确的目录都会成功完成。

显然我是双重释放的。我的问题是，为什么以及如何？如果第一个释放位于条件语句内，并且我们在释放后立即返回，则永远不会到达第二个释放。如果我们得到第二个免费的，这意味着我们跳过了第一个......对吧？

我意识到在这种情况下它完全没问题，因为系统将在程序结束时回收内存，但我对发生这种情况的原因更感兴趣，而不是仅仅让代码工作。如果我正在考虑不同的情况，函数由函数调用的函数等调用，并且内存可能是一个问题，该怎么办？我不需要第二个空闲来回收内存吗？

int is_valid_folder(char* maildir)
{
 struct stat *buf;
 buf = (struct stat *) malloc(sizeof(struct stat));

char* new = strdup(maildir);
char* cur = strdup(maildir);
char* tmp = strdup(maildir);
strcat (cur, "/cur"); strcat (new, "/new"); strcat (tmp, "/tmp");

if(stat(cur, buf) || stat(tmp, buf) || stat(new, buf))
{
printf("Problem stat-ing one of the cur/new/tmp folders\n");
printf("Error number %d\n", errno);
free(buf);
return 1;
}

free(buf);
return 0; //a valid folder path for this function
}

Answer 1

您有几个缓冲区溢出：strdup() 可能会分配一个 char 数组，该数组的大小刚好足以容纳 maildir 字符串，并且调用strcat() 将导致数组溢出。 （strcat() 与 strdup() 不同，不创建一个新的 char 数组，因此您必须确保您提供的数组足够大以容纳生成的字符串。）

顺便说一下，在跟踪内存管理方面，valgrind 是您的朋友错误。

Answer 2

重复字符串中没有足够的空间用于串联。

尝试：

char* new = (char*)calloc(strlen(maildir) + 5);

等等

Answer 3

我知道你明白了，但只是作为一个提示...（对于评论来说太大了）

检查 strdup() 的返回值是否为 NULL 和 free () 当您使用完这些指针后。如果你不这样做，内存就会泄漏（它在你当前的代码中泄漏）。

strdup() 函数应返回一个指向新字符串的指针，该字符串是 s1 指向的字符串的副本。 返回的指针可以传递给 free()。如果无法创建新字符串，则返回空指针。