当前位置: 首页 > news >正文

linux下利用backtrace追踪函数调用堆栈以及定位段错误

一般察看函数运行时堆栈的方法是使用GDB(bt命令)之类的外部调试器,但是,有些时候为了分析程序的BUG,(主要针对长时间运行程序的分析),在程序出错时打印出函数的调用堆栈是非常有用的。

glibc头文件"execinfo.h"中声明了三个函数用于获取当前线程的函数调用堆栈。

 

int backtrace(void **buffer,int size)

该函数用于获取当前线程的调用堆栈,获取的信息将会被存放在buffer中,它是一个指针列表。参数 size 用来指定buffer中可以保存多少个void* 元素。函数返回值是实际获取的指针个数,最大不超过size大小

在buffer中的指针实际是从堆栈中获取的返回地址,每一个堆栈框架有一个返回地址

注意:某些编译器的优化选项对获取正确的调用堆栈有干扰,另外内联函数没有堆栈框架;删除框架指针也会导致无法正确解析堆栈内容

 

char ** backtrace_symbols (void *const *buffer, int size)

backtrace_symbols将从backtrace函数获取的信息转化为一个字符串数组. 参数buffer应该是从backtrace函数获取的指针数组,size是该数组中的元素个数(backtrace的返回值)   
   
函数返回值是一个指向字符串数组的指针,它的大小同buffer相同.每个字符串包含了一个相对于buffer中对应元素的可打印信息.它包括
函数名,函数的偏移地址,和实际的返回地址

现在,只有使用ELF二进制格式的程序才能获取函数名称和偏移地址.在其他系统,只有16进制的返回地址能被获取.另外,你可能需要传递相应的符号给链接器,以能支持函数名功能(比如,在使用GNU ld链接器的系统中,你需要传递(-rdynamic), -rdynamic可用来通知链接器将所有符号添加到动态符号表中,如果你的链接器支持-rdynamic的话,建议将其加上!)

该函数的返回值是通过malloc函数申请的空间,因此调用者必须使用free函数来释放指针.

注意:如果不能为字符串获取足够的空间函数的返回值将会为NULL

 

void backtrace_symbols_fd (void *const *buffer, int size, int fd)

backtrace_symbols_fd与backtrace_symbols 函数具有相同的功能,不同的是它不会给调用者返回字符串数组,而是将结果写入文件描述符为fd的文件中,每个函数对应一行.它不需要调用malloc函数,因此适用于有可能调用该函数会失败的情况

 

下面是glibc中的实例(稍有修改):

#include <execinfo.h>
#include <stdio.h>
#include <stdlib.h>

/* Obtain a backtrace and print it to @code{stdout}. */
void print_trace (void)
{
	void *array[10];
	size_t size;
	char **strings;
 	size_t i;
 
	size = backtrace (array, 10);
	strings = backtrace_symbols (array, size);
	if (NULL == strings)
	{
 		perror("backtrace_synbols");
		Exit(EXIT_FAILURE);
	}

	printf ("Obtained %zd stack frames.\n", size);

	for (i = 0; i < size; i++)
		printf ("%s\n", strings[i]);

	free (strings);
 	strings = NULL;
}

/* A dummy function to make the backtrace more interesting. */
void dummy_function (void)
{
	print_trace ();
}

int main (int argc, char *argv[])
{
	dummy_function ();
	return 0;
}

输出如下:

Obtained 4 stack frames.
./execinfo() [0x80484dd]
./execinfo() [0x8048549]
./execinfo() [0x8048556]
/lib/i386-linux-gnu/libc.so.6(__libc_start_main+0xf3) [0x70a113]


 

我们还可以利用这backtrace来定位段错误位置。

通常情况系,程序发生段错误时系统会发送SIGSEGV信号给程序,缺省处理是退出函数。我们可以使用 signal(SIGSEGV, &your_function);函数来接管SIGSEGV信号的处理,程序在发生段错误后,自动调用我们准备好的函数,从而在那个函数里来获取当前函数调用栈。

举例如下:

#include <stdio.h>
#include <stdlib.h>
#include <stddef.h>
#include <execinfo.h>
#include <signal.h>

void dump(int signo)
{
	void *buffer[30] = {0};
	size_t size;
	char **strings = NULL;
	size_t i = 0;

	size = backtrace(buffer, 30);
	fprintf(stdout, "Obtained %zd stack frames.nm\n", size);
	strings = backtrace_symbols(buffer, size);
	if (strings == NULL)
	{
		perror("backtrace_symbols.");
		exit(EXIT_FAILURE);
	}
	
	for (i = 0; i < size; i++)
	{
		fprintf(stdout, "%s\n", strings[i]);
	}
	free(strings);
	strings = NULL;
	exit(0);
}

void func_c()
{
	*((volatile char *)0x0) = 0x9999;
}

void func_b()
{
	func_c();
}

void func_a()
{
	func_b();
}

int main(int argc, const char *argv[])
{
	if (signal(SIGSEGV, dump) == SIG_ERR)
		perror("can't catch SIGSEGV");
	func_a();
	return 0;
}


 

编译程序:

gcc -g -rdynamic test.c -o test; ./test

输出如下:

Obtained6stackframes.nm
./backstrace_debug(dump+0x45)[0x80487c9]
[0x468400]
./backstrace_debug(func_b+0x8)[0x804888c]
./backstrace_debug(func_a+0x8)[0x8048896]
./backstrace_debug(main+0x33)[0x80488cb]
/lib/i386-linux-gnu/libc.so.6(__libc_start_main+0xf3)[0x129113]

 (这里有个疑问: 多次运行的结果是/lib/i368-linux-gnu/libc.so.6和[0x468400]的返回地址是变化的,但不变的是后三位, 不知道为什么)

接着:

objdump -d test > test.s

在test.s中搜索804888c如下:

 

8048884 <func_b>:
8048884:	55		        push %ebp
8048885:	89 e5		     mov %esp, %ebp
8048887:	e8 eb ff ff ff       call 8048877 <func_c>
804888c:	5d		          pop %ebp
804888d:	c3		          ret

其中80488c时调用(call 8048877)C函数后的地址,虽然并没有直接定位到C函数,通过汇编代码, 基本可以推出是C函数出问题了(pop指令不会导致段错误的)。

我们也可以通过addr2line来查看

addr2line 0x804888c -e backstrace_debug -f

输出:

func_b
/home/astrol/c/backstrace_debug.c:57


 

以下是简单的backtrace原理实现:

 

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

#define LEN 4
#define FILENAME "stack"

int backtrace(void **buffer, int size)
{
	int i = 0;
	unsigned long int reg_eip = 0;
	unsigned long int reg_ebp = 0;
	char cmd[size][64];

	memset(cmd, 0, size * 64);
	__asm__ volatile (
		/* get current EBP */
		"movl %%ebp, %0	\n\t"
		:"=r"(reg_ebp)	/* output register */
		:		/* input  register */
		:"memory"	/* cloberred register */
	);	

	for (i = 0; i < size; i++)
	{
		reg_eip = *(unsigned long int *)(reg_ebp + 4);
		reg_ebp = *(unsigned long int *)(reg_ebp);
		buffer[i] = (void *)reg_eip;
		fprintf(stderr, "%p -> ", buffer[i]);
		sprintf(cmd[i], "addr2line %p -e ", buffer[i]);
		strncat(cmd[i], FILENAME" -f", strlen(FILENAME)+3);
		system(cmd[i]);
		puts("");		
	}

	return size;
}

static void test2(void)
{
	int i = 0;
	void *buffer[LEN] = {0};
	backtrace(buffer, LEN);
	return;
}

static void test1(void)
{
	test2();
}

static void test(void)
{
	test1();
}

int main(int argc, const char *argv[])
{
	test();
	return 0;
}



 

参考链接:http://blog.csdn.net/qqwx_1986/article/details/5942863

相关文章:

  • ssh登陆virtualbox安装的Ubuntu的同时也能连上互联网
  • Stack Backtracing Inside Your Program
  • Obtaining a stack trace in C upon SIGSEGV
  • StackTraces
  • x86寄存器的一般功能
  • 简单的栈回溯 简单的栈回溯欺骗 -- 简单分析
  • Inline Assembly in GCC Vs VC++
  • The True Story of Hello World
  • Smallest x86 ELF Hello World
  • 使用vim编辑可执行文件--16进制模式
  • Understanding ELF using readelf and objdump
  • C语言字节对齐
  • C语言可变长参数函数与默认参数提升
  • Essential GNU Linker Concepts for Embedded Systems Programmers
  • A Sample Linker Script
  • php的引用
  • 《Javascript高级程序设计 (第三版)》第五章 引用类型
  • 【407天】跃迁之路——程序员高效学习方法论探索系列(实验阶段164-2018.03.19)...
  • 【mysql】环境安装、服务启动、密码设置
  • Android开源项目规范总结
  • es6要点
  • GraphQL学习过程应该是这样的
  • java概述
  • MySQL Access denied for user 'root'@'localhost' 解决方法
  • ReactNative开发常用的三方模块
  • Spring Cloud Feign的两种使用姿势
  • vue从入门到进阶:计算属性computed与侦听器watch(三)
  • vue中实现单选
  • yii2中session跨域名的问题
  • 订阅Forge Viewer所有的事件
  • 发布国内首个无服务器容器服务,运维效率从未如此高效
  • 买一台 iPhone X,还是创建一家未来的独角兽?
  • 面试总结JavaScript篇
  • 排序(1):冒泡排序
  • 如何在 Tornado 中实现 Middleware
  • 扫描识别控件Dynamic Web TWAIN v12.2发布,改进SSL证书
  • 使用 Node.js 的 nodemailer 模块发送邮件(支持 QQ、163 等、支持附件)
  • 小程序、APP Store 需要的 SSL 证书是个什么东西?
  • 一个6年java程序员的工作感悟,写给还在迷茫的你
  • 国内唯一,阿里云入选全球区块链云服务报告,领先AWS、Google ...
  • ​html.parser --- 简单的 HTML 和 XHTML 解析器​
  • ​软考-高级-系统架构设计师教程(清华第2版)【第9章 软件可靠性基础知识(P320~344)-思维导图】​
  • # 日期待t_最值得等的SUV奥迪Q9:空间比MPV还大,或搭4.0T,香
  • #git 撤消对文件的更改
  • #微信小程序:微信小程序常见的配置传值
  • #我与Java虚拟机的故事#连载07:我放弃了对JVM的进一步学习
  • #我与Java虚拟机的故事#连载13:有这本书就够了
  • (4)事件处理——(6)给.ready()回调函数传递一个参数(Passing an argument to the .ready() callback)...
  • (C语言)输入一个序列,判断是否为奇偶交叉数
  • (done) 两个矩阵 “相似” 是什么意思?
  • (二)【Jmeter】专栏实战项目靶场drupal部署
  • (二十五)admin-boot项目之集成消息队列Rabbitmq
  • (附源码)小程序儿童艺术培训机构教育管理小程序 毕业设计 201740
  • (七)MySQL是如何将LRU链表的使用性能优化到极致的?
  • (企业 / 公司项目)前端使用pingyin-pro将汉字转成拼音