在逆向分析C/C++等编译型语言时,分析汇编代码是必不可少的。因此,掌握一些简单汇编的知识是十分有必要的。
一些基本概念
汇编语音是面向机器的程序设计语音,使用助记符代替操作CPU指令的机器码,所以汇编语言也称之为符号语言。 不同于C/C++、Java等高级语言,汇编语言操作的对象是CPU、寄存器、内存。 通俗来讲,在汇编语言的里,执行一个指令的一般流程是:
- 将需要操作的内容写入寄存器
- 执行对应的机器指令,让CPU运算结果
- 从寄存器读取结果的值
寄存器
要了解汇编,首先需要知道,什么是寄存器。 寄存器是CPU里的高速缓冲区,学过计算机原理的同学应该都知道,CPU的运算速度是极快的,而内存的读写速度远远跟不上CPU的运算速度的,根据木桶定律,计算机的整体效率受限于内存的读写速度。因此,为了提高效率,人们想到在CPU和内存之间增加一个高速缓存(很多CPU还分一级缓存、二级缓存甚至是三级缓存)。 高速缓存的读写速度比内存快得多,而高速缓存的作用就是预先将内存中需要运算的数据写入高速缓存中,等到CPU可以执行机器指令的时候,就可以直接从速度较快的高速缓存中读取,而不是从读写代价较高的内存中读,从而,提高了计算机的整体运行效率。
因此,在编写汇编代码的时候,需要先将数据写入到寄存器中,CPU才能做进一步的操作,而寄存器又分为:
- 通用寄存器
- 指针和变址寄存器,指针寄存器又分为:基址指针寄存器、堆栈指针寄存器等
- 段寄存器
- 指令指针寄存器(PC)
- 标志寄存器
我们在做逆向分析过程中,关注最多的一般是通用寄存器、堆栈指针寄存器、标志寄存器等,下文会详细说明。
大端小端
做逆向分析的时候,经常需要通过动态分析手段来读取内存中的数据,将内存中的数据对应到代码中的变量上,值得一提的是,内存中数据存储的顺序是需要我们注意的。我们都知道,计算机里存储数据的最小单位是byte,即字节,内存也不例外。我们逆向分析得到的内存数据是以字节为单位的数据。一个字节是8-bit(位),而代码中的基本数据类型有8-bit、16-bit、32-bit、64-bit等等,这些长度大于一个byte的数据类型在内存中是以怎样的顺序进行存储的呢?这就涉及到大小端模式的问题了。
- 大端模式:是指数据的高字节保存在内存的低地址中,而数据的低字节保存在内存的高地址中。
- 小端模式:是指数据的高字节保存在内存的高地址中,而数据的低字节保存在内存的低地址中。
以32位的整形数据为例,字节的排列顺序如下:
![4d51b8eb85583aa5931bc4ea39e31f61.png](https://img-blog.csdnimg.cn/img_convert/4d51b8eb85583aa5931bc4ea39e31f61.png)
PowerPC架构的CPU中一般是大端模式,x86、arm架构的CPU普遍采用小端模式。
栈和堆
栈和堆是学汇编需要了解的两个概念,栈和堆是汇编使用内存时的两种划分,它们都是内存上的存储数据的空间。
栈:大家都知道,栈是一种数据结构,数据按照先进后出的方式进行存储,汇编里也是如此,但一般只用于保存函数内的局部变量。在调用一个函数的时候,先预留足够数量的栈空间,供函数内部使用,在函数结束时,又需要移动栈指针空间,使之与进入函数前的地址保持一致,即所谓的栈平衡
。
堆:堆也是用于存放变量的,但不同于栈但是,栈用于保存申明方式定义的局部变量,而堆用于保存alloc
或new
方式申请的变量。由于是运行时才使用内存空间,就导致编译器无法知道你需要多大的空间,所以在C/C++里这种方式申请的内存需要自己手动释放。
![2256711f46025a7380fb101be0595a51.png](https://img-blog.csdnimg.cn/img_convert/2256711f46025a7380fb101be0595a51.png)
值得注意的是,堆内存是从低地址往高地址使用内存空间的,而栈是从高地址往低地址使用内存空间。这就是为什么我们经常看到函数的开头会有一句 SUB SP 0x20
这种移动SP指针下移的代码,哦!原来是在准备栈空间给函数内部的局部变量使用;而在函数末尾又会ADD SP 0x20
去还原栈指针,保持栈平衡。
这里大家可以思考一下,我们写递归函数时,如果遇到死循环抛出异常,为什么叫StackOverflow异常?就是因为死循环调用函数时,会一直移动SP下移,最终栈内存会和堆内存相遇,这时候就是我们遇到的栈内存溢出异常了。
汇编语言的特点
由于汇编是最接近机器代码的程序设计语言,因此有很多特性不同于我们熟悉的高级语言:
- 没有申请、释放内存的概念,对内存操作没有限制,拿到内存地址就读写。不同于C/C++等语言里,局部变量的内存的分配和释放都是编译器在编译的时候完成的。
- 没有函数、方法等概念,高级语言中所有的函数、方法对应到汇编语言中都是一个个代码片段。而在汇编里实现高级语言的函数调用是:
- 保存当前代码地址的下一个指令地址
addr_a
- 转跳到代码片段
fun_a
的地址addr_b
- 代码片段
fun_a
执行完后,转跳到地址addr_a
以上,在自己实战积累后,会有更深入的理解和感悟。
CPU的分类
由上面的描述的内容可知,汇编语言操作的对象是CPU、是硬件,但CPU的架构分多种,常见的架构有 x86
、ARM
、MIPS
等。个人计算机主要以 x86
系列架构为主;手机、平板等移动设备则以 ARM
系列架构为主,下文将围绕这两种架构来分别描述汇编语言。
ARM汇编
ARM架构又分为32位架构和64位架构,目前市面上的手机基本都是64位的,而64位是向下兼容32位的。大部分应用开发商(特别是Android)在使用C/C++混合编码时,为了兼容旧设备,在编译时都会保留32位的编译选项,所以本文将以32位的ARM为例来分析汇编。
ARM寄存器
![f0488be7b247c5abc445898d94e5180d.png](https://img-blog.csdnimg.cn/img_convert/f0488be7b247c5abc445898d94e5180d.png)
在函数调用中,参数通用寄存器R0 ~ R3传递,超过4个的参数剩余参数,压入栈中,通过栈传参,函数的返回值存入R0寄存器中。
CPSR(Current Program Status Register):当前程序状态寄存器,用于存放上一次指令执行的状态,按位表示状态,即每一位表示了不同的状态。
![ebe7463124505c2e7869586dd6af8b9c.png](https://img-blog.csdnimg.cn/img_convert/ebe7463124505c2e7869586dd6af8b9c.png)
- CPSR的低8位称为控制位,程序无法修改(除非CPU处于特权模式)。
N
Z
C
V
为条件码标志位,它们的值受逻辑运算或算术运算的结果而改变。
![f636b0eefdfd9bf8bf2f660efe628318.png](https://img-blog.csdnimg.cn/img_convert/f636b0eefdfd9bf8bf2f660efe628318.png)
常见指令
在做逆向分析阅读汇编代码时,我们不需要详细理解每一句汇编代码的作用,很多时候都是跳跃式的阅读,掌握关键的汇编代码逻辑即可。汇编的指令比较多,我们也并不需要全部记住,掌握一些常见的指令就能理解大部分的汇编代码,遇到其他不常用指令实在是需要理解,再去查找手册就行了。
下面列举一些常见的汇编指令:
![48701f205f385122dadb7beaf2dd2a73.png](https://img-blog.csdnimg.cn/img_convert/48701f205f385122dadb7beaf2dd2a73.png)
实战分析
下面我们来分析一小段简单的汇编代码。
C语言源码
int fun_A(int a, int b) {
int c = a + b;
return c;
}
一个简单的加法函数fun_A
,通过IDA反汇编得到对应的汇编代码
var_14 = -0x14
var_10 = -0x10
var_C = -0xC
var_8 = -8
var_4 = -4
; __unwind {
SUB SP, SP, #0x14 ; 申请栈空间,20 byte
MOV R2, R1 ; 参数b
MOV R3, R0 ; 参数a
STR R0, [SP,#0x14+var_4] ; 保存a到栈
STR R1, [SP,#0x14+var_8] ; 保存b到栈
LDR R0, [SP,#0x14+var_4] ; 读取a
LDR R1, [SP,#0x14+var_8] ; 读取b
ADD R0, R1 ; a + b
STR R0, [SP,#0x14+var_C] ; 结果c保存到栈
LDR R0, [SP,#0x14+var_C] ; 读取c
STR R2, [SP,#0x14+var_10] ;
STR R3, [SP,#0x14+var_14] ;
ADD SP, SP, #0x14 ; 还原栈空间
BX LR ; 返回到调用地址
; }
可以看到,一段C代码被编译器汇编之后得到到汇编代码,代码可划分为以下几个部分:
- 申请栈空间
- 保存参数到栈中
- 真正关键的代码逻辑
- 恢复栈空间,保持栈平衡
- 返回
因此我们在看到一段函数代码的时候,开头的申请栈空间、保存参数以及末尾的恢复栈空间、返回的代码可以直接跳过,直接分析中间的逻辑代码。另外可以看到,由编译器编译得到的汇编代码会有很多冗余的部分,毕竟是机器翻译,逆向分析的时候不用太过深究,直接跳过即可。
x86汇编
x86与ARM汇编相比,语法上稍微有些不同,但分析汇编的代码思路都是一致的,这里介绍一下x86汇编的基本要点和硬件上的不同之处。
x86架构也分32位架构和64位架构,目前市面上的个人电脑普遍是64位,向下兼容32位,下面以64位的x86_64为例分析。
x86_64寄存器
16个通用寄存器
![79f6fed0a08f47f8d330fc730f1d2071.png](https://img-blog.csdnimg.cn/img_convert/79f6fed0a08f47f8d330fc730f1d2071.png)
通用寄存器还经常可以看到只使用32位、16位、高8位、低8位的用法,但仅限于 RAX
、RBX
、RCX
、RDX
这几个寄存器。以RAX寄存器为例,对应用法的数据结构如下图所示:
![ed0eac3d0a9d67e20c677c2d61741322.png](https://img-blog.csdnimg.cn/img_convert/ed0eac3d0a9d67e20c677c2d61741322.png)
EFLAGS(状态寄存器)
x86及x86_64同样也有自己的状态寄存器,存放当前的程序状态标志。
状态标志位:用于指示算术指令(如ADD
、SUB
、MUL
等)的运算结果
![c6285c1274b6d931a9b580ae00bbe30d.png](https://img-blog.csdnimg.cn/img_convert/c6285c1274b6d931a9b580ae00bbe30d.png)
控制标志位:控制串指令(MOVS, CMPS, SCAS, LODS以及STOS)。设置DF标志使得串指令自动递减(从高地址向低地址方向处理字符串),清除该标志则使得串指令自动递增。STD以及CLD指令分别用于设置以及清除DF标志。
![035c0d69d76da025ea024828ab30747e.png](https://img-blog.csdnimg.cn/img_convert/035c0d69d76da025ea024828ab30747e.png)
16个向量寄存器
用于向量运算
![1ed91492d0cff5eb844592577608bbae.png](https://img-blog.csdnimg.cn/img_convert/1ed91492d0cff5eb844592577608bbae.png)
常用指令
与ARM汇编类似,这里列举一些常见的指令,用于基本的逆向分析:
![1cf59b06e61764077e5f31a4e5d5142c.png](https://img-blog.csdnimg.cn/img_convert/1cf59b06e61764077e5f31a4e5d5142c.png)
参考
Azeria Libs(ARM Data Types And Registers)
THE END
个人博客文章:汇编语言简述(逆向工程)