Linux下的汇编与Windows汇编最大的不同就是第一个操作数是原操作数,第二个是目的操作数。而Windows下却是相反。
1、 基本操作指令
简单的操作数类型说明。一般有三种。
(1)马上数操作数,也就是常数值。马上数的书写方式是“$”后面跟一个整数。比方$0x1F。这个会在后面的详细分析中见到非常多。
(2)寄存器操作数,它表示某个寄存器的内容。用符号Ea来表示随意寄存器a,用引用R[Ea]来表示它的值。这是将寄存器集合看成一个数组R,用寄存器表示符作为索引。
(3)操作数是存储器引用,它会依据计算出来的地址(通常称为有效地址)訪问某个存储器位置。用符号Mb[Addr]表示对存储在存储器中从地址Addr開始的b字节值的引用。通常能够省略下标b。 略过,详细參考《深入理解计算机系统》
最简C代码分析
为简化问题。来分析一下最简的c代码生成的汇编代码:
int main()
{
return 0;
}
编译该程序。产生二进制文件:
test1: ELF 32-bit LSB executable 80386 Version 1, dynamically linked, not stripped
test1是一个ELF格式32位小端(Little Endian)的可运行文件,动态链接而且符号表没有去除。
这正是Unix/Linux平台典型的可运行文件格式。
用mdb反汇编能够观察生成的汇编代码:
Loading modules: [ libc.so.1 ]
main::dis ; 反汇编main函数,mdb的命令一般格式为 <地址>::dis
main: pushl %ebp ; ebp寄存器内容压栈。即保存main函数的上级调用函数的栈基地址
main+1: movl %esp,%ebp ; esp值赋给ebp,设置main函数的栈基址
main+3: subl $8,%esp
main+6: andl $0xf0,%esp
main+9: movl $0,%eax
main+0xe: subl %eax,%esp
main+0x10: movl $0,%eax ; 设置函数返回值0
main+0x15: leave ; 将ebp值赋给esp,pop先前栈内的上级函数栈的基地址给ebp。恢复原栈基址
main+0x16: ret ; main函数返回。回到上级调用
注:这里得到的汇编语言语法格式与Intel的手冊有非常大不同,Unix/Linux採用AT&T汇编格式作为汇编语言的语法格式
假设想了解AT&T汇编能够參考文章:Linux AT&T 汇编语言开发指南
问题:谁调用了 main函数?
在C语言的层面来看,main函数是一个程序的起始入口点,而实际上,ELF可运行文件的入口点并非main而是_start。
mdb也能够反汇编_start:
_start::dis ;从_start 的地址開始反汇编
_start: pushl $0
_start+2: pushl $0
_start+4: movl %esp,%ebp
_start+6: pushl %edx
_start+7: movl $0x80504b0,%eax
_start+0xc: testl %eax,%eax
_start+0xe: je +0xf <_start+0x1d>
_start+0x10: pushl $0x80504b0
_start+0x15: call -0x75
_start+0x1a: addl $4,%esp
_start+0x1d: movl $0x8060710,%eax
_start+0x22: testl %eax,%eax
_start+0x24: je +7 <_start+0x2b>
_start+0x26: call -0x86
_start+0x2b: pushl $0x80506cd
_start+0x30: call -0x90
_start+0x35: movl +8(%ebp),%eax
_start+0x38: leal +0x10(%ebp,%eax,4),%edx
_start+0x3c: movl %edx,0x8060804
_start+0x42: andl $0xf0,%esp
_start+0x45: subl $4,%esp
_start+0x48: pushl %edx
_start+0x49: leal +0xc(%ebp),%edx
_start+0x4c: pushl %edx
_start+0x4d: pushl %eax
_start+0x4e: call +0x152 <_init>
_start+0x53: call -0xa3 <__fpstart>
_start+0x58: call +0xfb ;在这里调用了main函数
_start+0x5d: addl $0xc,%esp
_start+0x60: pushl %eax
_start+0x61: call -0xa1
_start+0x66: pushl $0
_start+0x68: movl $1,%eax
_start+0x6d: lcall $7,$0
_start+0x74: hlt
问题:为什么用EAX寄存器保存函数返回值?
实际上IA32并没有规定用哪个寄存器来保存返回值。但假设反汇编Solaris/Linux的二进制文件。就会发现,都用EAX保存函数返回值。
这不是偶然现象,是操作系统的ABI(Application Binary Interface)来决定的。
Solaris/Linux操作系统的ABI就是Sytem V ABI。
概念:SFP (Stack Frame Pointer) 栈框架指针
正确理解SFP必须了解:
IA32 的栈的概念
CPU 中32位寄存器ESP/EBP的作用
PUSH/POP 指令是怎样影响栈的
CALL/RET/LEAVE 等指令是怎样影响栈的
如我们所知:
1)IA32的栈是用来存放暂时数据,并且是LIFO,即后进先出的。栈的增长方向是从高地址向低地址增长。按字节为单位编址。
2) EBP是栈基址的指针,永远指向栈底(高地址),ESP是栈指针。永远指向栈顶(低地址)。
3) PUSH一个long型数据时,以字节为单位将数据压入栈,从高到低按字节依次将数据存入ESP-1、ESP-2、ESP-3、ESP-4的地址单元。
4) POP一个long型数据。过程与PUSH相反,依次将ESP-4、ESP-3、ESP-2、ESP-1从栈内弹出,放入一个32位寄存器。
5) CALL指令用来调用一个函数或过程,此时,下一条指令地址会被压入堆栈,以备返回时能恢复运行下条指令。
6) RET指令用来从一个函数或过程返回。之前CALL保存的下条指令地址会从栈内弹出到EIP寄存器中,程序转到CALL之前下条指令处运行
7) ENTER是建立当前函数的栈框架,即相当于下面两条指令:
pushl %ebp
movl %esp,%ebp
8) LEAVE是释放当前函数或者过程的栈框架,即相当于下面两条指令:
movl ebp esp
popl ebp
假设反汇编一个函数。非常多时候会在函数进入和返回处,发现有类似例如以下形式的汇编语句:
pushl %ebp ; ebp寄存器内容压栈,即保存main函数的上级调用函数的栈基地址
movl %esp,%ebp ; esp值赋给ebp。设置 main函数的栈基址
........... ; 以上两条指令相当于 enter 0,0
...........
leave ; 将ebp值赋给esp。pop先前栈内的上级函数栈的基地址给ebp,恢复原栈基址
ret ; main函数返回,回到上级调用
这些语句就是用来创建和释放一个函数或者过程的栈框架的。
原来编译器会自己主动在函数入口和出口处插入创建和释放栈框架的语句。
函数被调用时:
假如函数A调用函数B。函数B调用函数C ,则函数栈框架及调用关系例如以下图所看到的:
±------------------------±—> 高地址
| EIP (上级函数返回地址) |
±------------------------+
±-> | EBP (上级函数的EBP) | --+ <------当前函数A的EBP (即SFP框架指针)
| ±------------------------+ ±->偏移量A
| | Local Variables | |
| | … | --+ <------ESP指向函数A新分配的局部变量,局部变量能够通过A的ebp-偏移量A訪问
| f ±------------------------+
| r | Arg n(函数B的第n个參数) |
| a ±------------------------+
| m | Arg .(函数B的第.个參数) |
| e ±------------------------+
| | Arg 1(函数B的第1个參数) |
| o ±------------------------+
| f | Arg 0(函数B的第0个參数) | --+ <------ B函数的參数能够由B的ebp+偏移量B訪问
| ±------------------------+ ±-> 偏移量B
| A | EIP (A函数的返回地址) | |
| ±------------------------+ --+
±-- | EBP (A函数的EBP) |<–+ <------ 当前函数B的EBP (即SFP框架指针)
±------------------------+ |
| Local Variables | |
| … | | <------ ESP指向函数B新分配的局部变量
±------------------------+ |
| Arg n(函数C的第n个參数) | |
±------------------------+ |
| Arg .(函数C的第.个參数) | |
±------------------------+ ±-> frame of B
| Arg 1(函数C的第1个參数) | |
±------------------------+ |
| Arg 0(函数C的第0个參数) | |
±------------------------+ |
| EIP (B函数的返回地址) | |
±------------------------+ |
±-> | EBP (B函数的EBP) | --+ <------ 当前函数C的EBP (即SFP框架指针)
| ±------------------------+
| | Local Variables |
| | … | <------ ESP指向函数C新分配的局部变量
| ±------------------------±—> 低地址
frame of C
图 1-1
再分析test1反汇编结果中剩余部分语句的含义:
# mdb test1
Loading modules: [ libc.so.1 ]
> main::dis ; 反汇编main函数
main: pushl %ebp
main+1: movl %esp,%ebp ; 创建Stack Frame(栈框架)
main+3: subl $8,%esp ; 通过ESP-8来分配8字节堆栈空间
main+6: andl $0xf0,%esp ; 使栈地址16字节对齐
main+9: movl $0,%eax ; 无意义
main+0xe: subl %eax,%esp ; 无意义
main+0x10: movl $0,%eax ; 设置main函数返回值
main+0x15: leave ; 撤销Stack Frame(栈框架)
main+0x16: ret ; main 函数返回
>
下面两句似乎是没有意义的,果真是这样吗?
movl $0,%eax
subl %eax,%esp
用gcc的O2级优化来又一次编译test1.c:
# gcc -O2 test1.c -o test1
# mdb test1
> main::dis
main: pushl %ebp
main+1: movl %esp,%ebp
main+3: subl $8,%esp
main+6: andl $0xf0,%esp
main+9: xorl %eax,%eax ; 设置main返回值,使用xorl异或指令来使eax为0
main+0xb: leave
main+0xc: ret
>
新的反汇编结果比最初的结果要简洁一些。果然之前被觉得没用的语句被优化掉了,进一步验证了之前的推測。
提示:编译器产生的某些语句可能在程序实际语义上没实用处。能够用优化选项去掉这些语句。
问题:为什么用xorl来设置eax的值?
注意到优化后的代码中,eax返回值的设置由 movl $0,%eax 变为 xorl %eax,%eax ,这是由于IA32指令中,xorl比movl有更高的执行速度。
概念:Stack aligned 栈对齐
那么,下面语句究竟是和作用呢?
subl $8,%esp
andl $0xf0,%esp ; 通过andl使低4位为0,保证栈地址16字节对齐
表面来看,这条语句最直接的后果是使ESP的地址后4位为0,即16字节对齐,那么为什么这么做呢?
原来,IA32 系列CPU的一些指令分别在4、8、16字节对齐时会有更快的执行速度,因此gcc编译器为提高生成代码在IA32上的执行速度。默认对产生的代码进行16字节对齐
andl $0xf0,%esp 的意义非常明显,那么 subl $8,%esp 呢,是必须的吗?
这里如果在进入main函数之前。栈是16字节对齐的话,那么,进入main函数后,EIP和EBP被压入堆栈后,栈地址最末4位二进制位必然是1000,esp -8则恰好使后4位地址二进制位为0000。看来,这也是为保证栈16字节对齐的。
假设查一下gcc的手冊,就会发现关于栈对齐的參数设置:
-mpreferred-stack-boundary=n ; 希望栈依照2的n次的字节边界对齐, n的取值范围是2-12
默认情况下,n是等于4的。也就是说。默认情况下,gcc是16字节对齐,以适应IA32大多数指令的要求。
让我们利用-mpreferred-stack-boundary=2来去除栈对齐指令:
# gcc -mpreferred-stack-boundary=2 test1.c -o test1
> main::dis
main: pushl %ebp
main+1: movl %esp,%ebp
main+3: movl $0,%eax
main+8: leave
main+9: ret
>
能够看到。栈对齐指令没有了。由于。IA32的栈本身就是4字节对齐的,不须要用额外指令进行对齐。
那么,栈框架指针SFP是不是必须的呢?
# gcc -mpreferred-stack-boundary=2 -fomit-frame-pointer test1.c -o test
> main::dis
main: movl $0,%eax
main+5: ret
>
由此可知,-fomit-frame-pointer 能够去除SFP。
问题:去除SFP后有什么缺点呢?
1)添加调式难度
因为SFP在调试器backtrace的指令中被使用到。因此没有SFP该调试指令就无法使用。
2)减少汇编代码可读性
函数參数和局部变量的訪问,在没有ebp的情况下,都仅仅能通过+xx(esp)的方式訪问,而非常难区分两种方式,减少了程序的可读性。
问题:去除SFP有什么长处呢?
1)节省栈空间
2)降低建立和撤销栈框架的指令后,简化了代码
3)使ebp空暇出来,使之作为通用寄存器使用,添加通用寄存器的数量
4)以上3点使得程序执行速度更快
概念:Calling Convention 调用约定和 ABI (Application Binary Interface) 应用程序二进制接口
函数怎样找到它的參数?
函数怎样返回结果?
函数在哪里存放局部变量?
那一个硬件寄存器是起始空间?
那一个硬件寄存器必须预先保留?
Calling Convention 调用约定对以上问题作出了规定。Calling Convention也是ABI的一部分。
因此,遵守同样ABI规范的操作系统。使其相互间实现二进制代码的互操作成为了可能。
比如:因为Solaris、Linux都遵守System V的ABI。Solaris 10就提供了直接执行Linux二进制程序的功能。
详见文章:关注: Solaris 10的10大新变化
转自:https://www.cnblogs.com/brucemengbm/p/7223724.html