通过反汇编一个简单的C程序，分析汇编代码理解计算机是如何工作的

本文主要是介绍通过反汇编一个简单的C程序，分析汇编代码理解计算机是如何工作的，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

刘子健

原创作品转载请注明出处

《Linux内核分析》MOOC课程http://mooc.study.163.com/course/USTC-1000029000

对一下代码进行反汇编分析:

int g(int x)
{return x + 42;
}int f(int x)
{return g(x);
}int main(void)
{return f(42) + 42;
}

我的主机是64位的Linux，所以使用的反汇编代码也是64-bits的．

	.file	"2015_03_01.c".text.globl	g.type	g, @function
g:
.LFB0:.cfi_startprocpushq	%rbp.cfi_def_cfa_offset 16.cfi_offset 6, -16movq	%rsp, %rbp.cfi_def_cfa_register 6movl	%edi, -4(%rbp)movl	-4(%rbp), %eaxaddl	$42, %eaxpopq	%rbp.cfi_def_cfa 7, 8ret.cfi_endproc
.LFE0:.size	g, .-g.globl	f.type	f, @function
f:
.LFB1:.cfi_startprocpushq	%rbp.cfi_def_cfa_offset 16.cfi_offset 6, -16movq	%rsp, %rbp.cfi_def_cfa_register 6subq	$8, %rspmovl	%edi, -4(%rbp)movl	-4(%rbp), %eaxmovl	%eax, %edicall	gleave.cfi_def_cfa 7, 8ret.cfi_endproc
.LFE1:.size	f, .-f.globl	main.type	main, @function
main:
.LFB2:.cfi_startprocpushq	%rbp.cfi_def_cfa_offset 16.cfi_offset 6, -16movq	%rsp, %rbp.cfi_def_cfa_register 6movl	$42, %edicall	faddl	$42, %eaxpopq	%rbp.cfi_def_cfa 7, 8ret.cfi_endproc
.LFE2:.size	main, .-main.ident	"GCC: (Ubuntu 4.8.2-19ubuntu1) 4.8.2"

反汇编得到的代码里面有很多提示信息，提示信息以 . 开头，程序执行时这些提示信息不是指令，我们在这个反汇编样例里面可以精简代码，把这些提示信息删除．有些信息不能剔除，这些信息是编译器必须的，否则你过不了编译链接．

下面是精简后的反汇编代码：以下代码可以通过 gcc ./2015_03_01.s -o ./a.out

	.text.globl	g.type	g, @function
g:pushq	%rbpmovq	%rsp, %rbpmovl	%edi, -4(%rbp)movl	-4(%rbp), %eaxaddl	$42, %eaxpopq	%rbpret.size	g, .-g.globl	f.type	f, @function
f:pushq	%rbpmovq	%rsp, %rbpsubq	$8, %rspmovl	%edi, -4(%rbp)movl	-4(%rbp), %eaxmovl	%eax, %edicall	gleaveret.size	f, .-f.globl	main.type	main, @function
main:pushq	%rbpmovq	%rsp, %rbpmovl	$42, %edicall	faddl	$42, %eaxpopq	%rbpret.size	main, .-main

关于基本汇编指令的分析，我之前有笔记，可以去看这里:

http://blog.csdn.net/cinmyheart/article/details/25558911

我们这里着重分析反汇编代码:

g: , f:, main:　均用来指示函数的入口．

对于函数main.

首先压栈，pushq 指令将rsp寄存器的值减去一个指针长度，在64-bits机器上即8byte,然后将 rbp寄存器的值写入到rsp指向的地址处．

movq　%rsp, %ebp指令则将rsp寄存器的值赋值给rbp寄存器．这样一来，属于main函数的栈区域便构建好了．

接着movl　把立即数42赋值给寄存器edi, 然后call指令调用函数f.函数f的返回值会储存在eax寄存器中，等待f调用完之后，会把eax寄存器的值和立即数42相加，并储存在eax寄存器中．最后把rbp寄存器处的值弹栈．然后ret指令返回．

---------------------------------------------------------------------------------

call f

指令就相当于

push %eip　#把当前指令指针寄存器压栈，然后跳转到f处
jump f