你如何告诉Valgrind完全禁止一个特定的.so文件?

对于大多数抑制类型,您省略了通配符,如下所示:

{
   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
}

请注意,必须分别列出每种类型的错误,不能使用通配符。您还必须列出库的整个路径名(如valgrind所示,带有任何“装饰”如版本号)。

此外,对泄漏的处理方式也不同——对于那些需要类似以下内容的人:

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

似乎有必要为每个 类型 错误(条件、值4、参数等)。但根据我对valgrind-3.6.0.svn-debian的测试,我相信您可以对每种类型的错误使用以下简化形式…

{
   <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.*
   ...
}

这三个点叫做 帧级通配符 在Valgrind文档中。这些匹配调用堆栈中零个或多个帧。换句话说,当 不管是谁调用了库,或者库随后调用了什么函数 .

有时错误包括“obj:”帧,有时它们只使用“fun:”帧。一般来说,这是基于该函数是否包含在库的符号表中。如果目标是排除整个库, 如果库中不包含符号,它可能工作得最好 因此,您可以基于库文件名排除,而不必为库中的每个函数调用创建单独的禁止显示。希望,valgrind足够聪明,可以根据库文件名抑制错误,即使它 做 知道函数名,但我还没有验证。

如果您确实需要基于库中的各个函数添加禁止显示,那么您应该能够使用相同的表单…

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

注意:您可以包括 --gen-suppressions=all 在ValgReD命令行上,以查看确切的形式和名称(包括任何C++ Mungle),以抑制每个错误。您可以将该输出用作禁止显示记录的模板——在该模板中,您通常希望用 ... 为了简化抑制与特定库或函数调用关联可能发生的所有错误的过程。

注: <insert_a_suppression_name_here> 是一个占位符,您可以在其中键入所需的任何描述性文本。要求不为空。

nobar's answer 几乎对我有用,但我遇到了一个语法错误:

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

对于系统调用,我需要添加一个额外的行作为 docs 状态:

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

所以我最终得到了这个结果,它起了作用:

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