Lectura de informes

Un informe de Valgrind tiene tres partes:

• El prefijo del ID del proceso en cada línea
• Uno o más bloques de error a medida que se producen
• Un HEAP and LEAK SUMMARY final al salir

Aprender a leer cada parte convierte un muro de texto en una lista de tareas precisa.

Cada línea de Valgrind comienza con ==PID==, por ejemplo ==12345==.

Este es el ID del proceso, no forma parte de la salida de su programa. Permite separar los mensajes de Valgrind de los de printf cuando ambos comparten el terminal.

Este es un bloque real de escritura 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)

La primera línea indica el tipo y el tamaño del error: 'Invalid write of size 4'.

El tamaño 4 significa que se trata de un acceso de 4 bytes, normalmente un int. Esta única línea le indica qué categoría de error debe esperar antes de continuar leyendo.

La línea at corresponde al marco más interno, donde se produjo el error. Cada línea by corresponde a una función llamadora, un nivel más arriba.

Léala de arriba abajo, desde el marco más profundo hasta el más superficial. El primer marco que incluya el nombre de su archivo casi siempre indica dónde está el error.

La línea Address ... sitúa el acceso en relación con un bloque conocido:

• 0 bytes after a block of size 20 alloc'd — desbordamiento justo después del final
• 4 bytes inside a block of size 4 free'd — uso después de liberar
• on thread 1's stack — acceso a la pila

También muestra dónde se asignó o liberó ese bloque.

Al salir, obtiene información contable sobre las asignaciones:

==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

Un valor de 'in use at exit' mayor que cero significa que algo no se liberó.

Debajo del resumen del heap, las fugas se agrupan:

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

Añada --leak-check=full para incluir una traza de cada bloque perdido.

La última línea cuenta todos los errores:

ERROR SUMMARY: 2 errors from 2 contexts

Un 'context' es una ubicación de error única. Si una línea defectuosa se ejecuta un millón de veces dentro de un bucle, sigue siendo un solo contexto. Su objetivo es 0 errors from 0 contexts.

Analice el informe de forma metódica:

• Corrija primero los errores de acceso no válido; provocan corrupción
• Después, los errores de valor no inicializado
• A continuación, las fugas definitely e indirectly lost
• Vuelva a ejecutar el programa después de cada corrección; una causa raíz suele eliminar varios informes

Algunos errores proceden de bibliotecas que no puede corregir, como el tiempo de ejecución de C o un controlador gráfico. Genere un archivo de supresiones para silenciarlos sin ocultar sus propios errores.

--gen-suppressions=all muestra entradas de supresión listas para usar, que puede guardar y volver a pasar con --suppressions=file.

Interprete una línea de un informe.

Ahora puede leer informes de Valgrind de principio a fin:

• Los prefijos ==PID== identifican las líneas de Valgrind y las separan de la salida del programa
• Cada bloque de error indica el tipo, el tamaño, la traza de la pila y una nota sobre la dirección
• Los resúmenes HEAP/LEAK contabilizan las asignaciones y la memoria perdida
• ERROR SUMMARY cuenta los contextos únicos; aspire a cero

Priorice primero los errores de acceso y después las fugas, volviendo a ejecutar el programa durante el proceso.