Question

我一直在Valgrind看到这些错误。我的程序也是段错误，但我试图首先解决Valgrind中的错误。

81 char *ptr = NULL;
82      if (addition_is_safe(sz, TRAILER_SZ))
83          ptr = malloc(sz + TRAILER_SZ);
84 syslog(LOG_NOTICE, "Calling set trailer value, ptr=%p", ptr);

将其打印到日志中：

Sep 17 00:05:50 appliance m61 [18301]：调用set trailer值，ptr = 0x96af158

Valgrind的：

==18069== 2 errors in context 1 of 4:
==18069== Invalid read of size 1
==18069==    at 0x402BCCA: memcpy (mc_replace_strmem.c:882)
==18069==    by 0x8048819: main (test025.c:13)
==18069==  Address 0x4213709 is 137 bytes inside a block of size 368 free'd
==18069==    at 0x4028F0F: free (vg_replace_malloc.c:446)
==18069==    by 0x40AA00B: fclose@@GLIBC_2.1 (iofclose.c:88)
==18069==    by 0x4136003: __vsyslog_chk (syslog.c:228)
==18069==    by 0x4136446: syslog (syslog.c:119)
==18069==    by 0x8049823: attempt_create_allocation (m61_allocation_core.c:84)
==18069==    by 0x8048914: m61_malloc (m61.c:47)
==18069==    by 0x80487B4: main (test025.c:9)
==18069==

编辑：我运行的测试代码实际上是为了产生一个无效的自由被Valgrind和我的内存调试代码捕获。然而，它不应该是段错误，这就是发生的事情。关闭syslog后，不再出现seg错误，Valgrind报告与测试代码一样正常。我不知道为什么syslog导致了上面的问题。

测试代码：

1 #include "m61.h"
2 #include <stdio.h>
3 #include <assert.h>
4 #include <string.h>


7 int main() {
8    char *a = (char *) malloc(200);
9    char *b = (char *) malloc(50);
10   char *c = (char *) malloc(200);
11   char *p = (char *) malloc(3000);
12   (void) a, (void) c;
13   memcpy(p, b - 200, 450);
14   free(p + 200);

关闭Valgrind之后的新Valgrind报告：

==5688== 18 errors in context 1 of 3:
==5688== Invalid read of size 4
==5688==    at 0x402BD00: memcpy (mc_replace_strmem.c:882)
==5688==    by 0x8048849: main (test025.c:13)
==5688==  Address 0x41f92c0 is 16 bytes before a block of size 208 alloc'd
==5688==    at 0x4029F6F: malloc (vg_replace_malloc.c:270)
==5688==    by 0x80497AD: attempt_create_allocation (m61_allocation_core.c:77)
==5688==    by 0x8048950: m61_malloc (m61.c:48)
==5688==    by 0x8048804: main (test025.c:10)

Answer 1

初次尝试

你得到的读取错误意味着你分配了一些空间然后被释放，但程序的某些部分设法保持指向内存块中间的指针，然后尝试从内部读取一个字节在memcpy()第13行阻止main()。

不太清楚的是内存分配的位置。看起来好像是在syslog()的调用中完成的，这很奇怪。

您需要仔细查看test025.c中的代码。如果m61.c是您的代码，您也应该查看它（也可能是m61_allocation_core.c）。 vg_replace_malloc.c中的代码最终为valgrind代码;我不确定两者之间的部分。

修订代码 - 修订答案

修订后的代码中的memcpy()显然是100％错误的。同样，free()是100％错误的。要了解原因，您必须记住malloc()通常在分配的指针之前存储一些控制信息。您还需要知道，尝试free() malloc()，calloc()或realloc()未返回的指针是一个严重的错误。

您的代码是：

 7 int main() {
 8     char *a = (char *) malloc(200);
 9     char *b = (char *) malloc(50);
10     char *c = (char *) malloc(200);
11     char *p = (char *) malloc(3000);
12     (void) a, (void) c;
13     memcpy(p, b - 200, 450);
14     free(p + 200);

除了错误检查（或没有错误检查）之外，第7-11行是不可取的。有些人会为演员侮辱你;我不是那种思想流派。您有权忽略它们 - 只要您承诺使用-Wmissing-prototypes -Wstrict-prototypes（和-Wall -Wextra）进行编译，并在运行代码之前修复报告的问题。如果不这样做，你需要留意我（关于使用严格的编译器选项并修复编译器警告所识别的问题）或者他们（关于不投出malloc()的结果）。

第12行避免了“未使用的变量”警告;否则就是无操作。

第13行，即memcpy()，尝试从b开始之前的200个字节复制到超出为b分配的空间末尾的200个字节。在这450个字节中，访问其中的400个会导致未定义的行为。如果您只是在阅读内存，而目的地 - p - 足够大，那么您就可以了。但是，阅读b任意一侧的字节无效，valgrind完全正确抱怨。

第14行free()尝试释放malloc()未返回的指针。因此，您正在调用未定义的行为。除了灾难之外，没有任何事情可以发生。很有可能free()本身不会失败 - 虽然调试malloc()会注意到你从分配空间的中间释放。但任何后续的内存分配或释放都是非常有问题的。问题是free()将在（通常）指向的空间之前查看控制信息，并且该信息将无效。

Valgrind读取无效

1 个答案:

初次尝试

修订代码 - 修订答案