Valgrind / Ошибки памяти - PullRequest
Новая
       12

Valgrind / Ошибки памяти

0 голосов
/ 05 сентября 2010

Я постоянно получаю следующие ошибки по всему коду, когда использую valgrind.Я не совсем уверен, что они означают, и не могу определить неинициализированные значения. 

==16795== Conditional jump or move depends on uninitialised value(s)
==16795==    at 0x4A06E8A: strcmp (mc_replace_strmem.c:412)
==16795==    by 0x4009C7: dictionary_add (libdictionary.c:44)
==16795==    by 0x40061B: main (part2.c:28)
==16795== 
==16795== Invalid write of size 1
==16795==    at 0x4A082E7: strcpy (mc_replace_strmem.c:303)
==16795==    by 0x400AA8: dictionary_add (libdictionary.c:57)
==16795==    by 0x40061B: main (part2.c:28)
==16795==  Address 0x4c361a3 is 0 bytes after a block of size 3 alloc'd
==16795==    at 0x4A05E1C: malloc (vg_replace_malloc.c:195)
==16795==    by 0x400931: node_newnode (libdictionary.c:28)
==16795==    by 0x400A8C: dictionary_add (libdictionary.c:54)
==16795==    by 0x40061B: main (part2.c:28)

Я создаю структуру данных связанного списка, и эти функции вызываются, когда эта ошибка памятидано.

// Вот конструкции как узла, так и структуры данных словаря. 

typedef struct node
{
char* key;
char* value;
struct node* next;
}node;


typedef struct _dictionary_t
{
node* head;

} dictionary_t;

// Сначала создается новый словарь 

void dictionary_init(dictionary_t *d)
{
d->head = NULL;
d->head = malloc(sizeof(node));
node_init(d->head);
}

// Новый узел создается с использованием метода node_init. 

void node_init(node *n)
{
n->key = NULL;
n->value =NULL;

n->key = malloc(sizeof(char));
n->value = malloc(sizeof(char));
n->next = NULL;
}

// Этот новый метод узла используется после первоначальной инициализации (когда мы добавляем новые термины). Предыдущий предназначен специально для создания дозорногов начале структуры при создании. 

void node_newnode(node *n, int x, int y)
{
n->key = NULL;
n->value = NULL;

n->key = malloc(x*sizeof(char));
n->value = malloc(y*sizeof(char));
n->next = NULL;
}

// Эта функция также вызывается для добавления "ключа" и "значения" в качестве пары в этом случае. 

int dictionary_add(dictionary_t *d, const char *key, const char *value)
{
node *current;
current =  d->head;
if(strcmp(current->key,key)==0)
        return -1;
while(current->next != NULL){
        current=current->next;
        if(strcmp(current->key,key)==0)
                return -1;
}
        current->next = NULL;
        current->next = malloc(sizeof(node));

        node_newnode(current->next,strlen(key),strlen(value));

        current = current->next;
        strcpy((current->key), key);
        strcpy((current->value),value);
        return 0;
}

У всех есть идеи, почему я получаю эти ошибки.До сих пор основной метод создал только словарь и вызвал функцию добавления.Valgrind сообщает о 45+ ошибках в 38 контекстах в течение 8 вызовов функций.Я думаю, что это, вероятно, небольшие ошибки, которые я повторяю неоднократно.

Теперь я также получаю те же ошибки с этой функцией.Команда valgrind --track-originins = yes отслеживает выделение стека в следующей функции: 

int dictionary_parse(dictionary_t *d, char *key_value)
{
char* colon;
char* space;
colon = key_value;
space = key_value;

space++;

int key_length = -1; //Default key length to check for failure

int i=0;
int j=0;   // Loop variables
int k=0;

int length = strlen(key_value);

for(i=0;i<length-2;i++){
        if(*colon == ':' && *space == ' '){
                key_length = i;
                break;
        }
        colon++;
        space++;
}

if(key_length == -1 || key_length == 0)
        return -1;

int value_length = length-2-key_length;

colon = key_value;


char key_word[key_length];
key_word[0] = '\0';
char value_word[value_length];
value_word[0] = '\0';

for(j=0;j<key_length;j++){
key_word[j] = *colon;
colon++;
}

space++;

for(k=0; k<value_length;k++){
value_word[k] = *space;
space++;
}


char* finalkey[key_length];
strcpy((char*)finalkey,key_word);
char* finalvalue[value_length];
strcpy((char*)finalvalue,value_word);

dictionary_add(d,(char*)finalkey,(char*)finalvalue);    

return 0;

}

Спасибо, -newprogrammer

1 Ответ

10 голосов
/ 05 сентября 2010

Первая ошибка («Условный переход или перемещение зависит от неинициализированных значений)» связана с тем, что символ, на который указывает current->key, никогда не инициализировался. Вы выделили для него байт в node_init(), но вы никогда не устанавливали этот байт на что-либо. Если вы хотите, чтобы head узел key действовал как пустая строка, измените node_init() следующим образом: 

n->key = malloc(sizeof(char));
n->key[0] = '\0';

Вторая ошибка («Неверная запись размера 1») связана с тем, что ваша node_newnode() функция выделяет на один байт меньше, чем необходимо для строк. strlen(key) считает фактические символы в строке, но для нулевого символа-терминатора требуется еще один байт. Использование: 

node_newnode(current->next,strlen(key) + 1,strlen(value) + 1);

(но лично я бы просто передал key и value на node_newnode(), и бы он выполнял как распределение, так и strcpy()).

...