Valgrind - 理解条件跳转的输出答案

【问题标题】：Valgrind - understanding output for conditional jumpValgrind - 理解条件跳转的输出
【发布时间】：2020-08-19 11:07:38
【问题描述】：

我一直在测试 C 共享库是否存在内存泄漏。我得到了下面的输出，我想确保我对输出的理解是正确的。

我对 valgrind 相当熟悉，但我习惯于在“堆分配”部分下方只有一行的输出，所以我想确保我做对了。我试图在 valgrind 手册和此处以及其他论坛中找到更多信息，但找不到任何东西。

无论如何，我使用这些参数运行：
valgrind --leak-check=full --log-fd=1 --keep-debuginfo=yes --track-origins=yes

得到了这个输出：

==28303== Conditional jump or move depends on uninitialised value(s)
==28303==    at 0x82C80C0: ??? (in /opt/mqm/lib64/libmqe_r.so)
==28303==    by 0x830AA05: ??? (in /opt/mqm/lib64/libmqe_r.so)
==28303==    by 0x8301896: ??? (in /opt/mqm/lib64/libmqe_r.so)
==28303==    by 0xB4E7E9A: func1 (in /opt/MyDir/MyExit.so_r)
==28303==    by 0xB4E9FFD: func2 (in /opt/MyDir/MyExit.so_r)
==28303==    by 0xB4EC62E: func3 (in /opt/MyDir/MyExit.so_r)
==28303==    by 0xB4ECB7C: func4 (in /opt/MyDir/MyExit.so_r)
==28303==    by 0x83AD1B7: ??? (in /opt/mqm/lib64/libmqe_r.so)
==28303==    by 0x831DA90: ??? (in /opt/mqm/lib64/libmqe_r.so)
==28303==    by 0x8301A1C: ??? (in /opt/mqm/lib64/libmqe_r.so)
==28303==    by 0x838DBCA: ??? (in /opt/mqm/lib64/libmqe_r.so)
==28303==    by 0x606E8A: ??? (in /opt/mqm/bin/dmpmqmsg)
==28303==  Uninitialised value was created by a heap allocation
==28303==    at 0x6C29F73: malloc (vg_replace_malloc.c:309)
==28303==    by 0x8200401: ??? (in /opt/mqm/lib64/libmqe_r.so)
==28303==    by 0x848331B: ??? (in /opt/mqm/lib64/libmqe_r.so)
==28303==    by 0x839DC40: ??? (in /opt/mqm/lib64/libmqe_r.so)
==28303==    by 0x83167C4: ??? (in /opt/mqm/lib64/libmqe_r.so)
==28303==    by 0x83197D1: ??? (in /opt/mqm/lib64/libmqe_r.so)
==28303==    by 0x830092D: ??? (in /opt/mqm/lib64/libmqe_r.so)
==28303==    by 0x83833B4: ??? (in /opt/mqm/lib64/libmqe_r.so)
==28303==    by 0x838EE0C: ??? (in /opt/mqm/lib64/libmqe_r.so)
==28303==    by 0x60316B: ??? (in /opt/mqm/bin/dmpmqmsg)
==28303==    by 0x7680554: (below main) (in /usr/lib64/libc-2.17.so)

（出于安全原因更改了函数名称）

这是我的理解：

内存首先分配在“libc-2.17.so”中（或者是在“dmpmqmsg”中？），并且没有初始化。
之后，调用顺序如下：
libc-2.17.so >> dmpmqmsg >> libmqe_r.so >> MyExit.so_r (func4) >> ... >> MyExit.so_r (func1) >> libmqe_r.so
最后，valgrind 通知的“条件跳转”位于 libmqe_r.so 的 0x82C80C0，可能是该库中某处的 if(pmem != NULL)

这是正确的解释吗？

如果它是相关的 - 我在 RedHat linux 上运行。我的代码是一个 MQ 出口，我将其编译为共享库。

【问题讨论】：

标签： c memory-management shared-libraries valgrind

【解决方案1】：

首先，查看“堆分配”调用堆栈。最上面是malloc（已经被memcheck拦截了）。然后你在libmqe_r.so 中有一系列 8 次调用，都没有调试信息。然后是来自来宾可执行文件dmpmqmsg 的调用。调用栈的最后一行，在 libc 中，是调用main 的启动函数。

接下来，实际的错误。没有调试信息，很难确定。看起来您的 func1 正在调用 libmqe_r.so 中的 3 个函数链，并传入一些未初始化的堆内存。您的代码也可能是无辜的，而最顶层的函数正在访问一些未初始化的静态或全局对象。

我几乎没有使用 MQ 的经验。可能有一个与 MQ 相关的包，其中包含调试符号。安装它可能会有所帮助。

【讨论】：