Linux中对【库函数】的调用进行跟踪的三种【插桩】技巧
<p><img title="Linux中对【库函数】的调用进行跟踪的三种【插桩】技巧" alt="Linux中对【库函数】的调用进行跟踪的三种【插桩】技巧" border="0" src="https://zhuji.jb51.net/uploads/img/202305/3609867150b3cae999713ac9d205d4b3.jpg"></p>
<h3>
什么是插桩?
</h3>
<p>
在稍微具有一点规模的代码中(C 语言)，调用第三方动态库中的函数来完成一些功能，是很常见的工作场景。
</p>
<p>
假设现在有一项任务：需要在调用某个动态库中的某个函数的之前和之后，做一些额外的处理工作。
</p>
<p>
这样的需求一般称作：插桩，也就是对于一个指定的目标函数，新建一个包装函数，来完成一些额外的功能。
</p>
<p>
<img title="Linux中对【库函数】的调用进行跟踪的三种【插桩】技巧" alt="Linux中对【库函数】的调用进行跟踪的三种【插桩】技巧" border="0" src="https://zhuji.jb51.net/uploads/img/202305/83de36aeef6f4672b44a0ac72be6d023.jpg"></p>
<p>
在包装函数中去调用真正的目标函数，但是在调用之前或者之后，可以做一些额外的事情。
</p>
<p>
比如：统计函数的调用次数、验证函数的输入参数是否合法等等。
</p>
<p>
关于程序插桩的官方定义，可以看一下【百度百科】中的描述：
</p>
<ol>
<li>
程序插桩，最早是由J.C. Huang 教授提出的。
</li>
<li>
它是在保证被测程序原有逻辑完整性的基础上在程序中插入一些探针(又称为“探测仪”，本质上就是进行信息采集的代码段，可以是赋值语句或采集覆盖信息的函数调用)。
</li>
<li>
通过探针的执行并抛出程序运行的特征数据，通过对这些数据的分析，可以获得程序的控制流和数据流信息，进而得到逻辑覆盖等动态信息，从而实现测试目的的方法。
</li>
<li>
根据探针插入的时间可以分为目标代码插桩和源代码插桩。
</li>
</ol>
<p>
这篇文章，我们就一起讨论一下：在 Linux 环境下的 C 语言开发中，可以通过哪些方法来实现插桩功能。
</p>
<h3>
插桩示例代码分析
</h3>
<p>
示例代码很简单：
</p>
<ol class="dp-sql">
<li class="alt">
<span><span>├── app.c </span></span>
</li>
<li>
<span>└── lib </span>
</li>
<li class="alt">
<span>├── rd3.h </span>
</li>
<li>
<span>└── librd3.so </span>
</li>
</ol>
<p>
假设动态库librd3.so是由第三方提供的，里面有一个函数：int rd3_func(int, int);。
</p>
<ol class="dp-sql">
<li class="alt">
<span><span>// lib/rd3.h </span></span>
</li>
<li>
<span></span>
</li>
<li class="alt">
<span>#ifndef _RD3_H_ </span>
</li>
<li>
<span>#define _RD3_H_ </span>
</li>
<li class="alt">
<span>extern <span class="keyword">int</span><span> rd3_func(</span><span class="keyword">int</span><span>, </span><span class="keyword">int</span><span>); </span></span>
</li>
<li>
<span>#endif </span>
</li>
</ol>
<p>
在应用程序app.c中，调用了动态库中的这个函数:
</p>
<p>
<img title="Linux中对【库函数】的调用进行跟踪的三种【插桩】技巧" alt="Linux中对【库函数】的调用进行跟踪的三种【插桩】技巧" border="0" src="https://zhuji.jb51.net/uploads/img/202305/fa41764a500fccf8d736e072019e8181.jpg"></p>
<p>
app.c代码如下：
</p>
<p>
<stdio.h><stdlib.h></stdlib.h></stdio.h></p>
<ol class="dp-sql">
<li class="alt">
<span><span>#include <stdio.h></stdio.h></span></span>
</li>
<li>
<span>#include <stdlib.h></stdlib.h></span>
</li>
<li class="alt">
<span>#include <span class="string">"rd3.h"</span><span> </span></span>
</li>
<li>
<span></span>
</li>
<li class="alt">
<span><span class="keyword">int</span><span> main(</span><span class="keyword">int</span><span> argc, </span><span class="keyword">char</span><span> *argv[]) </span></span>
</li>
<li>
<span>{ </span>
</li>
<li class="alt">
<span><span class="keyword">int</span><span> result = rd3_func(1, 1); </span></span>
</li>
<li>
<span>printf(<span class="string">"result = %d \n"</span><span>, result); </span></span>
</li>
<li class="alt">
<span><span class="keyword">return</span><span> 0; </span></span>
</li>
<li>
<span>} </span>
</li>
</ol>
<p>
编译：
</p>
<ol class="dp-sql">
<li class="alt">
<span><span>$ gcc -o app app.c -I./lib -L./lib -lrd3 -Wl,</span><span class="comment">--rpath=./lib</span><span> </span></span>
</li>
</ol>
<ol>
<li>
-L./lib: 指定编译时，在 lib 目录下搜寻库文件。
</li>
<li>
-Wl,--rpath=./lib: 指定执行时，在 lib 目录下搜寻库文件。
</li>
</ol>
<p>
生成可执行程序：app，执行：
</p>
<ol class="dp-sql">
<li class="alt">
<span><span>$ ./app </span></span>
</li>
<li>
<span>result = 3 </span>
</li>
</ol>
<p>
示例代码足够简单了，称得上是helloworld的兄弟版本!
</p>
<h3>
在编译阶段插桩
</h3>
<p>
对函数进行插桩，基本要求是：不应该对原来的文件(app.c)进行额外的修改。
</p>
<p>
由于app.c文件中，已经include "rd3.h"了，并且调用了其中的rd3_func(int, int)函数。
</p>
<p>
所以我们需要新建一个假的 "rd3.h" 提供给app.c，并且要把函数rd3_func(int, int)"重导向"到一个包装函数，然后在包装函数中去调用真正的目标函数，如下图所示：
</p>
<p>
<img title="Linux中对【库函数】的调用进行跟踪的三种【插桩】技巧" alt="Linux中对【库函数】的调用进行跟踪的三种【插桩】技巧" border="0" src="https://zhuji.jb51.net/uploads/img/202305/6e9f722304f3c0cf11925d038e4ee9be.jpg"></p>
<p>
"重导向"函数：可以使用宏来实现。
</p>
<p>
包装函数：新建一个C文件，在这个文件中，需要 #include "lib/rd3.h"，然后调用真正的目标文件。
</p>
<p>
完整的文件结构如下：
</p>
<ol class="dp-sql">
<li class="alt">
<span><span>├── app.c </span></span>
</li>
<li>
<span>├── lib </span>
</li>
<li class="alt">
<span>│ ├── librd3.so </span>
</li>
<li>
<span>│ └── rd3.h </span>
</li>
<li class="alt">
<span>├── rd3.h </span>
</li>
<li>
<span>└── rd3_wrap.c </span>
</li>
</ol>
<p>
最后两个文件是新建的：rd3.h, rd3_wrap.c，它们的内容如下：
</p>
<ol class="dp-sql">
<li class="alt">
<span><span>// rd3.h </span></span>
</li>
<li>
<span></span>
</li>
<li class="alt">
<span>#ifndef _LIB_WRAP_H_ </span>
</li>
<li>
<span>#define _LIB_WRAP_H_ </span>
</li>
<li class="alt">
<span></span>
</li>
<li>
<span>// 函数“重导向”，这样的话 app.c 中才能调用 wrap_rd3_func </span>
</li>
<li class="alt">
<span>#define rd3_func(a, b) wrap_rd3_func(a, b) </span>
</li>
<li>
<span></span>
</li>
<li class="alt">
<span>// 函数声明 </span>
</li>
<li>
<span>extern <span class="keyword">int</span><span> wrap_rd3_func(</span><span class="keyword">int</span><span>, </span><span class="keyword">int</span><span>); </span></span>
</li>
<li class="alt">
<span></span>
</li>
<li>
<span>#endif </span>
</li>
</ol>
<p>
<stdio.h><stdlib.h></stdlib.h></stdio.h></p>
<ol class="dp-sql">
<li class="alt">
<span><span>// rd3_wrap.c </span></span>
</li>
<li>
<span></span>
</li>
<li class="alt">
<span>#include <stdio.h></stdio.h></span>
</li>
<li>
<span>#include <stdlib.h></stdlib.h></span>
</li>
<li class="alt">
<span></span>
</li>
<li>
<span>// 真正的目标函数 </span>
</li>
<li class="alt">
<span>#include <span class="string">"lib/rd3.h"</span><span> </span></span>
</li>
<li>
<span></span>
</li>
<li class="alt">
<span>// 包装函数，被 app.c 调用 </span>
</li>
<li>
<span><span class="keyword">int</span><span> wrap_rd3_func(</span><span class="keyword">int</span><span> a, </span><span class="keyword">int</span><span> b) </span></span>
</li>
<li class="alt">
<span>{ </span>
</li>
<li>
<span>// 在调用目标函数之前，做一些处理 </span>
</li>
<li class="alt">
<span>printf(<span class="string">"before call rd3_func. do something... \n"</span><span>); </span></span>
</li>
<li>
<span></span>
</li>
<li class="alt">
<span>// 调用目标函数 </span>
</li>
<li>
<span><span class="keyword">int</span><span> c = rd3_func(a, b); </span></span>
</li>
<li class="alt">
<span></span>
</li>
<li>
<span>// 在调用目标函数之后，做一些处理 </span>
</li>
<li class="alt">
<span>printf(<span class="string">"after call rd3_func. do something... \n"</span><span>); </span></span>
</li>
<li>
<span></span>
</li>
<li class="alt">
<span><span class="keyword">return</span><span> c; </span></span>
</li>
<li>
<span>} </span>
</li>
</ol>
<p>
让app.c 和 rd3_wrap.c一起编译：
</p>
<ol class="dp-sql">
<li class="alt">
<span><span>$ gcc -I./ -L./lib -Wl,</span><span class="comment">--rpath=./lib -o app app.c rd3_wrap.c -lrd3</span><span> </span></span>
</li>
</ol>
<p>
头文件的搜索路径不能错：必须在当前目录下搜索rd3.h，这样的话，app.c中的#include "rd3.h" 找到的才是我们新增的那个头文件 rd3.h。
</p>
<p>
所以在编译指令中，第一个选项就是 -I./，表示在当前目录下搜寻头文件。
</p>
<p>
另外，由于在rd3_wrap.c文件中，使用#include "lib/rd3.h"来包含库中的头文件，因此在编译指令中，就不需要指定到lib 目录下去查找头文件了。
</p>
<p>
编译得到可执行程序app，执行一下：
</p>
<ol class="dp-sql">
<li class="alt">
<span><span>$ ./app </span></span>
</li>
<li>
<span>before call rd3_func. do something... </span>
</li>
<li class="alt">
<span><span class="keyword">after</span><span> call rd3_func. do something... </span></span>
</li>
<li>
<span>result = 3 </span>
</li>
</ol>
<p>
完美!
</p>
<h3>
链接阶段插桩
</h3>
<p>
Linux 系统中的链接器功能是非常强大的，它提供了一个选项：--wrap f，可以在链接阶段进行插桩。
</p>
<p>
这个选项的作用是：告诉链接器，遇到f符号时解析成__wrap_f，在遇到__real_f符号时解析成f，正好是一对!
</p>
<p>
我们就可以利用这个属性，新建一个文件rd3_wrap.c，并且定义一个函数__wrap_rd3_func(int, int)，在这个函数中去调用__real_rd3_func函数。
</p>
<p>
只要在编译选项中加上-Wl,--wrap,rd3_func, 编译器就会：
</p>
<ol>
<li>
把 app.c 中的 rd3_func 符号，解析成 __wrap_rd3_func，从而调用包装函数;
</li>
<li>
把 rd3_wrap.c 中的 __real_rd3_func 符号，解析成 rd3_func，从而调用真正的函数。
</li>
</ol>
<p>
<img title="Linux中对【库函数】的调用进行跟踪的三种【插桩】技巧" alt="Linux中对【库函数】的调用进行跟踪的三种【插桩】技巧" border="0" src="https://zhuji.jb51.net/uploads/img/202305/87a067e4f46b1094bc8ca40c9a2352c7.jpg"></p>
<p>
这几个符号的转换，是由链接器自动完成的!
</p>
<p>
按照这个思路，一起来测试一下。
</p>
<p>
文件目录结构如下：
</p>
<ol class="dp-sql">
<li class="alt">
<span><span>. </span></span>
</li>
<li>
<span>├── app.c </span>
</li>
<li class="alt">
<span>├── lib </span>
</li>
<li>
<span>│ ├── librd3.so </span>
</li>
<li class="alt">
<span>│ └── rd3.h </span>
</li>
<li>
<span>├── rd3_wrap.c </span>
</li>
<li class="alt">
<span>└── rd3_wrap.h </span>
</li>
</ol>
<p>
rd3_wrap.h是被app.c引用的，内容如下：
</p>
<ol class="dp-sql">
<li class="alt">
<span><span>#ifndef _RD3_WRAP_H_ </span></span>
</li>
<li>
<span>#define _RD3_WRAP_H_ </span>
</li>
<li class="alt">
<span>extern <span class="keyword">int</span><span> __wrap_rd3_func(</span><span class="keyword">int</span><span>, </span><span class="keyword">int</span><span>); </span></span>
</li>
<li>
<span>#endif </span>
</li>
</ol>
<p>
rd3_wrap.c的内容如下：
</p>
<p>
<stdio.h><stdlib.h></stdlib.h></stdio.h></p>
<ol class="dp-sql">
<li class="alt">
<span><span>#include <stdio.h></stdio.h></span></span>
</li>
<li>
<span>#include <stdlib.h></stdlib.h></span>
</li>
<li class="alt">
<span></span>
</li>
<li>
<span>#include <span class="string">"rd3_wrap.h"</span><span> </span></span>
</li>
<li class="alt">
<span></span>
</li>
<li>
<span>// 这里不能直接饮用 lib/rd3.h 中的函数了，而要由链接器来完成解析。 </span>
</li>
<li class="alt">
<span>extern <span class="keyword">int</span><span> __real_rd3_func(</span><span class="keyword">int</span><span>, </span><span class="keyword">int</span><span>); </span></span>
</li>
<li>
<span></span>
</li>
<li class="alt">
<span>// 包装函数 </span>
</li>
<li>
<span><span class="keyword">int</span><span> __wrap_rd3_func(</span><span class="keyword">int</span><span> a, </span><span class="keyword">int</span><span> b) </span></span>
</li>
<li class="alt">
<span>{ </span>
</li>
<li>
<span>// 在调用目标函数之前，做一些处理 </span>
</li>
<li class="alt">
<span>printf(<span class="string">"before call rd3_func. do something... \n"</span><span>); </span></span>
</li>
<li>
<span></span>
</li>
<li class="alt">
<span>// 调用目标函数，链接器会解析成 rd3_func。 </span>
</li>
<li>
<span><span class="keyword">int</span><span> c = __real_rd3_func(a, b); </span></span>
</li>
<li class="alt">
<span></span>
</li>
<li>
<span>// 在调用目标函数之后，做一些处理 </span>
</li>
<li class="alt">
<span>printf(<span class="string">"after call rd3_func. do something... \n"</span><span>); </span></span>
</li>
<li>
<span></span>
</li>
<li class="alt">
<span><span class="keyword">return</span><span> c; </span></span>
</li>
<li>
<span>} </span>
</li>
</ol>
<p>
rd3_wrap.c中，不能直接去 include "rd3.h"，因为lib/rd3.h中的函数声明是int rd3_func(int, int);，没有__real前缀。
</p>
<p>
编译一下：
</p>
<ol class="dp-sql">
<li class="alt">
<span><span>$ gcc -I./lib -L./lib -Wl,</span><span class="comment">--rpath=./lib -Wl,--wrap,rd3_func -o app app.c rd3_wrap.c -lrd3</span><span> </span></span>
</li>
</ol>
<p>
注意：这里的头文件搜索路径仍然设置为-I./lib，是因为app.c中include了这个头文件。
</p>
<p>
得到可执行程序app，执行：
</p>
<ol class="dp-sql">
<li class="alt">
<span><span>$ ./app </span></span>
</li>
<li>
<span>before call rd3_func. do something... </span>
</li>
<li class="alt">
<span>before call rd3_func. do something... </span>
</li>
<li>
<span>result = 3 </span>
</li>
</ol>
<p>
完美!
</p>
<h3>
执行阶段插桩
</h3>
<p>
在编译阶段插桩，新建的文件rd3_wrap.c是与app.c一起编译的，其中的包装函数名是wrap_rd3_func。
</p>
<p>
app.c中通过一个宏定义实现函数的"重导向"：rd3_func --> wrap_rd3_func。
</p>
<p>
我们还可以直接"霸王硬上弓"：在新建的文件rd3_wrap.c中，直接定义rd3_func函数。
</p>
<p>
然后在这个函数中通过dlopen, dlsym系列函数来动态的打开真正的动态库，查找其中的目标文件，然后调用真正的目标函数。
</p>
<p>
当然了，这样的话在编译app.c时，就不能连接lib/librd3.so文件了。
</p>
<p>
按照这个思路继续实践!
</p>
<p>
文件目录结构如下：
</p>
<ol class="dp-sql">
<li class="alt">
<span><span>├── app.c </span></span>
</li>
<li>
<span>├── lib </span>
</li>
<li class="alt">
<span>│ ├── librd3.so </span>
</li>
<li>
<span>│ └── rd3.h </span>
</li>
<li class="alt">
<span>└── rd3_wrap.c </span>
</li>
</ol>
<p>
rd3_wrap.c文件的内容如下(一些错误检查就暂时忽略了)：
</p>
<p>
<stdio.h><stdlib.h><dlfcn.h></dlfcn.h></stdlib.h></stdio.h></p>
<ol class="dp-sql">
<li class="alt">
<span><span>#include <stdio.h></stdio.h></span></span>
</li>
<li>
<span>#include <stdlib.h></stdlib.h></span>
</li>
<li class="alt">
<span>#include <dlfcn.h></dlfcn.h></span>
</li>
<li>
<span></span>
</li>
<li class="alt">
<span>// 库的头文件 </span>
</li>
<li>
<span>#include <span class="string">"rd3.h"</span><span> </span></span>
</li>
<li class="alt">
<span></span>
</li>
<li>
<span>// 与目标函数签名一致的函数类型 </span>
</li>
<li class="alt">
<span>typedef <span class="keyword">int</span><span> (*pFunc)(</span><span class="keyword">int</span><span>, </span><span class="keyword">int</span><span>); </span></span>
</li>
<li>
<span></span>
</li>
<li class="alt">
<span><span class="keyword">int</span><span> rd3_func(</span><span class="keyword">int</span><span> a, </span><span class="keyword">int</span><span> b) </span></span>
</li>
<li>
<span>{ </span>
</li>
<li class="alt">
<span>printf(<span class="string">"before call rd3_func. do something... \n"</span><span>); </span></span>
</li>
<li>
<span></span>
</li>
<li class="alt">
<span>//打开动态链接库 </span>
</li>
<li>
<span>void *handle = dlopen(<span class="string">"./lib/librd3.so"</span><span>, RTLD_NOW); </span></span>
</li>
<li class="alt">
<span></span>
</li>
<li>
<span>// 查找库中的目标函数 </span>
</li>
<li class="alt">
<span>pFunc pf = dlsym(handle, <span class="string">"rd3_func"</span><span>); </span></span>
</li>
<li>
<span></span>
</li>
<li class="alt">
<span>// 调用目标函数 </span>
</li>
<li>
<span><span class="keyword">int</span><span> c = pf(a, b); </span></span>
</li>
<li class="alt">
<span></span>
</li>
<li>
<span>// 关闭动态库句柄 </span>
</li>
<li class="alt">
<span>dlclose(handle); </span>
</li>
<li>
<span></span>
</li>
<li class="alt">
<span>printf(<span class="string">"after call rd3_func. do something... \n"</span><span>); </span></span>
</li>
<li>
<span><span class="keyword">return</span><span> c; </span></span>
</li>
<li class="alt">
<span>} </span>
</li>
</ol>
<p>
编译包装的动态库：
</p>
<ol class="dp-sql">
<li class="alt">
<span><span>$ gcc -shared -fPIC -I./lib -o librd3_wrap.so rd3_wrap.c </span></span>
</li>
</ol>
<p>
得到包装的动态库： librd3_wrap.so。
</p>
<p>
编译可执行程序，需要链接包装库 librd3_wrap.so：
</p>
<ol class="dp-sql">
<li class="alt">
<span><span>$ gcc -I./lib -L./ -o app app.c -lrd3_wrap -ldl </span></span>
</li>
</ol>
<p>
得到可执行程序app，执行：
</p>
<ol class="dp-sql">
<li class="alt">
<span><span>$ ./app </span></span>
</li>
<li>
<span>before call rd3_func. do something... </span>
</li>
<li class="alt">
<span><span class="keyword">after</span><span> call rd3_func. do something... </span></span>
</li>
<li>
<span>result = 3 </span>
</li>
</ol>
<p>
完美!
</p>
<p>
本文转载自微信公众号「IOT物联网小镇」
</p>
<p>
<img title="Linux中对【库函数】的调用进行跟踪的三种【插桩】技巧" alt="Linux中对【库函数】的调用进行跟踪的三种【插桩】技巧" border="0" src="https://zhuji.jb51.net/uploads/img/202305/bde5a06ae54dc0065fe292e6c8e77e0f.jpg"></p>
<p>
原文链接：https://mp.weixin.qq.com/s/DXhTl3jetoOcLqDJZCl5Hg
</p>
頁:
[1]