valgrind memcheck сообщает о ложном срабатывании? - PullRequest
Новая
       37

valgrind memcheck сообщает о ложном срабатывании?

4 голосов
/ 22 февраля 2011

Вот мой код. 

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

char buf1[100];
char buf2[100];

int main()
{
    char **p = (char**)(buf1+sizeof(long));
    char **q = (char**)(buf2+1);
    *p = (char*)malloc(100);
    *q = (char*)malloc(100);

    strcpy(*p, "xxxx");
    strcpy(*q, "zzzz");

    printf("p:%s   q:%s\n", *p, *q);
    return 0;
}

Я скомпилировал код, используя gcc, и запустил valgrind-3.6.1 следующим образом 

valgrind --leak-check=full --log-file=test.log  --show-reachable=yes  ~/a.out

Вальгринд дал мне журнал ниже 

==20768== Memcheck, a memory error detector
==20768== Copyright (C) 2002-2010, and GNU GPL'd, by Julian Seward et al.
==20768== Using Valgrind-3.6.1 and LibVEX; rerun with -h for copyright info
==20768== Command: /home/zxin11/a.out
==20768== Parent PID: 12686
==20768== 
==20768== 
==20768== HEAP SUMMARY:
==20768==     in use at exit: 200 bytes in 2 blocks
==20768==   total heap usage: 2 allocs, 0 frees, 200 bytes allocated
==20768== 
==20768== 100 bytes in 1 blocks are still reachable in loss record 1 of 2
==20768==    at 0x4C2488B: malloc (vg_replace_malloc.c:236)
==20768==    by 0x4005FD: main (test2.c:12)
==20768== 
==20768== 100 bytes in 1 blocks are definitely lost in loss record 2 of 2
==20768==    at 0x4C2488B: malloc (vg_replace_malloc.c:236)
==20768==    by 0x400611: main (test2.c:13)
==20768== 
==20768== LEAK SUMMARY:
==20768==    definitely lost: 100 bytes in 1 blocks
==20768==    indirectly lost: 0 bytes in 0 blocks
==20768==      possibly lost: 0 bytes in 0 blocks
==20768==    still reachable: 100 bytes in 1 blocks
==20768==         suppressed: 0 bytes in 0 blocks
==20768== 
==20768== For counts of detected and suppressed errors, rerun with: -v
==20768== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 3 from 3)

Почему первый malloc все еще был доступен, а второй malloc был определенно потерян? Может быть, речь идет о выравнивании, вы не можете поместить адрес ошибочной памяти в невыровненную переменную, если так, как я могу подавить такой положительный отчет? Думаю, что вы очень.

1 Ответ

5 голосов
/ 08 марта 2011

Из руководства memcheck (выделено мной):

Если --leak-check установлено соответствующим образом, для каждого оставшегося блока Memcheck определяет, достижим ли блок из указателей в пределахкорневой набор.Корневой набор состоит из (a) регистров общего назначения всех потоков и (b) инициализированных, выровненных слов данных размером с указатель в доступной клиентской памяти, включая стеки.

Итак, ваша гипотеза о выравнивании была правильной.К сожалению, лучший способ надежного подавления такого предупреждения, вероятно, состоит в том, чтобы просто скопировать любые известные значения в выровненные местоположения перед выходом из вашей программы (возможно, этот код представляет собой макет для вашего реального приложения, где он имеет некоторый смысл для васдля хранения невыровненных указателей).

Вы также можете попробовать записать или создать файл подавления с помощью --gen-suppressions=yes.Но если ваше приложение недетерминированное или вы запускаете его с другими входными данными, этот подход довольно быстро раздражает.

...