Lendo relatórios

Um relatório do Valgrind tem três partes:

• O prefixo do ID do processo em cada linha
• Um ou mais blocos de erro, à medida que ocorrem
• Um HEAP and LEAK SUMMARY final na saída

Aprender a ler cada parte transforma uma parede de texto em uma lista de tarefas precisa.

Toda linha do Valgrind começa com ==PID==, por exemplo ==12345==.

Esse é o ID do processo, não parte da saída do seu programa. Ele permite separar as mensagens do Valgrind da saída de printf do seu programa quando ambos compartilham o terminal.

Veja um bloco real de escrita inválida:

==12345== Invalid write of size 4
==12345== at 0x4005A1: main (prog.c:6)
==12345== Address 0x520304c is 0 bytes after a block of size 20 alloc'd
==12345== at 0x4838B40: malloc
==12345== by 0x40058E: main (prog.c:5)

A primeira linha informa o tipo e o tamanho do erro: 'Invalid write of size 4'.

O tamanho 4 significa um acesso de 4 bytes, normalmente um int. Essa única linha informa qual categoria de erro você deve esperar antes de continuar a leitura.

A linha at representa o quadro mais interno, onde o erro ocorreu. Cada linha by representa um chamador, um nível acima.

Leia de cima para baixo, do quadro mais profundo ao mais superficial. O primeiro quadro com o nome de um arquivo seu quase sempre é o local do erro.

A linha Address ... localiza o acesso em relação a um bloco conhecido:

• 0 bytes after a block of size 20 alloc'd — estouro logo depois do fim
• 4 bytes inside a block of size 4 free'd — uso após liberação
• on thread 1's stack — acesso à pilha

Ela também mostra onde o bloco foi alocado ou liberado.

Ao sair, você obtém o balanço das alocações:

==12345== HEAP SUMMARY:
==12345== in use at exit: 20 bytes in 1 blocks
==12345== total heap usage: 3 allocs, 2 frees, 1,044 bytes allocated

Um valor de 'in use at exit' maior que zero significa que algo não foi liberado.

Abaixo do resumo do heap, os vazamentos são agrupados:

definitely lost: 20 bytes in 1 blocks
indirectly lost: 0 bytes in 0 blocks
possibly lost: 0 bytes in 0 blocks
still reachable: 0 bytes in 0 blocks

Adicione --leak-check=full para anexar um rastreamento a cada bloco perdido.

A última linha contabiliza tudo:

ERROR SUMMARY: 2 errors from 2 contexts

Um 'context' é um local de erro único. Se uma linha com erro for executada um milhão de vezes em um laço, ela continuará sendo um único contexto. Seu objetivo é 0 errors from 0 contexts.

Analise o relatório de forma metódica:

• Corrija primeiro os erros de acesso inválido; eles causam corrupção
• Depois, os erros de valor não inicializado
• Em seguida, os vazamentos definitely e indirectly lost
• Execute novamente após cada correção; uma causa raiz frequentemente elimina vários relatórios

Alguns erros vêm de bibliotecas que você não pode corrigir, como o ambiente de execução de C ou um controlador gráfico. Gere um arquivo de supressão para silenciá-los sem ocultar seus próprios erros.

--gen-suppressions=all imprime entradas de supressão prontas para uso, que você salva e fornece novamente com --suppressions=file.

Interprete uma linha de um relatório.

Agora você consegue ler relatórios do Valgrind do início ao fim:

• ==PID== prefixa as linhas do Valgrind, separando-as da saída do programa
• Cada bloco de erro informa o tipo, o tamanho, o rastreamento da pilha e uma observação sobre o endereço
• Os resumos HEAP/LEAK contabilizam as alocações e a memória perdida
• ERROR SUMMARY contabiliza os contextos únicos; procure chegar a zero

Faça a triagem dos erros de acesso primeiro, depois dos vazamentos, executando novamente ao longo do processo.