shared-libraries - permanentemente - eliminar archivos que no se dejan borrar

¿Cómo le dice a Valgrind que suprima por completo un archivo.so en particular?

Question

Estoy tratando de usar Valgrind en un programa en el que estoy trabajando, pero Valgrind genera un montón de errores para una de las bibliotecas que estoy usando. Me gustaría poder decirle que suprima todos los errores que involucran esa biblioteca. La regla más cercana que puedo encontrar para el archivo de supresión es

{
   rule name
   Memcheck:Cond
   ...
   obj:/path/to/library/thelibrary.so
}

Sin embargo, esto no hace el trabajo por completo. Tengo que crear uno de estos para cada tipo de supresión que aparezca (Cond, Value4, Param, etc.), y parece que todavía faltan algunos errores que tienen la biblioteca en el seguimiento de la pila.

¿Hay alguna manera de darle a Valgrind una sola regla de supresión para que ignore por completo una biblioteca en particular? E incluso si no hay una manera de crear una regla que cubra todos los tipos de supresión, ¿existe al menos una forma de crear una regla que ignore todos los errores de un tipo de supresión en particular de una biblioteca en particular?

Answer 1

Para la mayoría de los tipos de supresión, omite el comodín, así:

{
   name
   Memcheck:Cond
   obj:/path/to/lib/lib.so.10.1
}

{
   name
   Memcheck:Free
   obj:/path/to/lib/lib.so.10.1
}

{
   name
   Memcheck:Value8
   obj:/path/to/lib/lib.so.10.1
}

Tenga en cuenta que debe enumerar cada tipo de error por separado, no puede comodín. También debe enumerar la ruta de acceso completa de la biblioteca (como lo muestra valgrind, con cualquier "decoración" como números de versión).

Además, las fugas se manejan de manera diferente; para aquellos que necesitan algo que se ve así:

{
   name
   Memcheck:Leak
   fun:*alloc
   ...
   obj:/path/to/lib/lib.so.10.1
   ...
}

Answer 2

Parece que es necesario incluir un registro de supresión por separado para cada tipo de error (Cond, Value4, Param, etc.). Pero en base a mis pruebas con valgrind-3.6.0.SVN-Debian, creo que puede usar la siguiente forma simplificada para cada tipo de error ...

{
   <insert_a_suppression_name_here>
   Memcheck:Cond
   ...
   obj:/path/to/library/thelibrary.so.*
   ...
}

{
   <insert_a_suppression_name_here>
   Memcheck:Leak
   ...
   obj:/path/to/library/thelibrary.so.*
   ...
}

Los tres puntos se denominan comodines de nivel de marco en los documentos de Valgrind. Estos coinciden con cero o más cuadros en la pila de llamadas. En otras palabras, los usa cuando no importa quién llamó a la biblioteca, o qué funciones llama más tarde la biblioteca .

A veces los errores incluyen marcos "obj:" y algunas veces solo usan marcos "divertidos". Esto se basa, en general, en si esa función se incluye o no en la tabla de símbolos de la biblioteca. Si el objetivo es excluir toda la biblioteca, puede funcionar mejor si la biblioteca no incluye símbolos, de modo que puede excluirlos basándose en el nombre de archivo de la biblioteca en lugar de tener que crear supresiones separadas para cada llamada de función dentro de la biblioteca. Con suerte, Valgrind es lo suficientemente inteligente como para suprimir los errores basados ​​en el nombre de archivo de la biblioteca, incluso cuando sabe el nombre de la función, pero no lo he verificado.

Si necesita agregar supresiones basadas en funciones individuales dentro de la biblioteca, debería poder usar el mismo formulario ...

{
   <insert_a_suppression_name_here>
   Memcheck:Leak
   ...
   fun:the_name_of_the_function
   ...
}

Nota: Puede incluir --gen-suppressions=all en la línea de comandos de valgrind para ver la forma y los nombres exactos (incluida cualquier modificación de C ++) necesarios para suprimir cada error. Puede usar esa salida como plantilla para sus registros de supresión, en los que normalmente desearía reemplazar la mayoría de las líneas con ... para simplificar el proceso de supresión de todos los errores que puedan ocurrir en asociación con una biblioteca específica o llamada de función .

Nota: <insert_a_suppression_name_here> es un marcador de posición en el que puede escribir cualquier texto descriptivo que desee. Se requiere que no esté en blanco.

Answer 3

la respuesta de nobar casi funcionó para mí, pero estaba obteniendo un error de sintaxis:

==15566== FATAL: in suppressions file "suppresion.error.txt" near line 4:
==15566==    bad or missing extra suppression info
==15566== exiting now.

Para las llamadas al sistema, necesitaba agregar una línea adicional como indican los docs :

Param errors have a mandatory extra information line at this point,
which is the name of the offending system call parameter.

Así que terminé con esto y funcionó:

{
   <sup_mmap_length>
   Memcheck:Param
   mmap(length)
   ...
   fun:function_from_offending_lib
   ...
}