反编译入门

我们在写单片机裸机程序时，在主函数之前，会有一段启动代码，而启动代码是用汇编写的，有些朋友可能看到汇编头都大了，当时要想深入研究底层架构，这快硬骨头就必须去啃。

汇编：汇编文件转换为目标文件(里面是机器码)。

反汇编：可执行文件(目标文件，里面是机器码)，转换为汇编文件。

关于汇编的基础知识，请看笔者以前的文章。

今天笔者以stm32F1的点灯程序为例，带领大家进行反汇编，并阅读反汇编后的代码。

1 新建LED裸机程序

关于STM32裸机程序的创建，请看笔者博文：

https://bruceou.blog.csdn.NET/article/detAIls/78244735

但是今天这个程序非常简单，不应那么复杂。

1.新建文件夹

新建文件夹“STM32F1”，当然名字也可以另取，在 STM32F1文件夹下，我们新建五个文件夹，分别为CMSIS、Listing、Output、Project、User。

其中CMSIS文件夹放启动文件：

笔者的开发板芯片是STM32F103ZE，这个文件是根据STM32的固件库startup_stm32f10x_md.s文件修改而来。

2.新建工程

打开Keil，在工具栏 Project->New μVision Project…新建我们的工程文件。

输入工程名，保存即可。

窗口是让我们选择公司跟芯片的型号，我们用的芯片是 ST 公司的STM32F103ZE，有64K SRAM,512K Flash，属于高集成度的芯片。按如下选择即可。

然后点击项目管理。

最后修改后的内容如下：

并添加相应的文件。

其中main.c的内容如下所示：

* @brief 延时函数* @param d* @retval Nonevoid delay(int d)while(d--);* @brief main* @param None* @retval intint main(void)unsigned int *pReg;/* 使能GPIOB */pReg = (unsigned int *)(0x40021000 + 0x18);*pReg |= (1<<3);/* 设置GPIOB0为输出引脚 */pReg = (unsigned int *)(0x40010C00 + 0x00);*pReg |= (1<<0);pReg = (unsigned int *)(0x40010C00 + 0x0C);while (1)/* 设置GPIOB0输出1 */*pReg |= (1<<0);delay(1000000);/* 设置GPIOB0输出0 */*pReg &= ~(1<<0);delay(1000000);

startup.s文件的内容如下：

;************************************ STM32F1 ************************************;* File Name : startup.s;* Author : BruceOu;* Version : V1.0;* Date : 2021-06-27;* Description : STM32F10x Medium Density Devices Vector table for MDK-ARM;* toolchain.;* This module performs:;* - Set the initial SP;* - Set the initial PC == Reset_Handler;* - Set the vector table entries with the exceptions ISR address;* - Configure the clock system;* - Branches to __main in the C library (which eventually;* calls main()).;* After Reset the CortexM3 processor is in Thread mode,;* priority is Privileged, and the Stack is set to Main.PRESERVE8THUMB; Vector Table MApped to Address 0 at ResetAREA RESET, DATA, READONLYEXPORT __Vectors__Vectors DCD 0DCD Reset_Handler ; Reset HandlerAREA |.text|, CODE, READONLY; Reset handlerReset_Handler PROCEXPORT Reset_Handler [WEAK]IMPORT mainLDR SP, =(0x20000000+0x10000)BL mainENDP

接下来还有配置工程。

选择Output文件夹。

选择Listing文件夹。

基本配置就这些，接下来编译工程。

只要没有错误就可以了，最后就是下载程序，笔者使用的是J-Link，最后的现象如下：

LED会不停闪烁。

2 Keil反汇编

接下来才是今天正题，反汇编。

在KEIL的User选项中，如下图添加这两项：

fromelf --bin --output=STM32F1.bin ../Output/STM32F1.axffromelf --text -a -c --output=STM32F1.dis ../Output/STM32F1.axf

然后重新编译，即可得到二进制文件STM32F1.bin(以后会分析)、反汇编文件STM32F1.dis。

如下图所示：

正常编译过程是分为四个阶段进行的，即预处理(也称预编译，Preprocessing)、编译(Compilation)、汇编 (Assembly)和链接(Linking)。

但是反编译是讲为二进制文件反编译成汇编文件，因此反汇编的流程如下：

3反汇编代码解析

接下来就是查看反编译代码，打开反编译文件Project/STM32F1.dis。这里只截取一段查看，因为格式都是一样的，知识每条内容不同罢了。

第一列是链接地址，第二列是机器码，第三列是汇编指令。

根本汇编指令，我们找到ARM®v7-M Architecture Reference Manual_DDI 0403E.d (ID070218)中的LDR指令。

我们将F8DFD004变成二进制。

这个使用的32位的Thumb2指令集。

其中b0~b11是立即数，这里是4，对应的汇编代码的也是4，这里要注意的是，ARM指令采用流水线机制，当前执行地址A的指令，同时已经在对下一条指令进行译码同时已经在读取下下一条指令：PC = A +4 (Thumb/Thumb2指令集)。

B12~b15是寄存器，这段大小是0XC，对应的寄存器就是sp；

后面16bit除了23位意外，全是固定的，其中‘U’表示无条件执行，这里置为1。

其他的汇编指令对应的机器码也是类似的，值得注意的是，不同的架构对应的机器码也是不同的，这也就回答了为了不同的处理器架构会对应不同的指令集。

有兴趣的可以对比Cortex-M系列和Cortex-A系列的的指令集。请参考以下手册：

ARM Architecture Reference Manual ARMv7-A and ARMv7-R edition.pdf

ARM®v7-M Architecture Reference Manual.pdf

4反汇编代码全解析

进入debug模式，在View下选择disassembly window。

这样就可将机器码和对应的代码对应起来。当程序运行起来了，也就从异常向量表中跳转到Reset_Handler中，然后跳转到main函数中，而main函数是在栈中，因此需要设置占空间的起始位置。根据STM32的参考手册，SRAM的其起始地址和大小如下：

因此栈顶为起始位置加上栈的大小即可，只要不超过SRAM即可。

值得注意的是，栈是向低地址扩展的数据结构，是一块连续的内存区域，栈顶的地址和栈的最大容量是在通过LDR设置，因此需要根据应用需求合理分配栈空间。

接下来往下走，如果在汇编中不打断点，会默认进入main函数的一条指令，就从这里分析。为了分析方便，这里还有使用上一节方便出来的文件。

【C代码33行】

从内存地址0x0800 017c拷贝数据0x40021018到r3中，也就是

r3 = * 0x0800 017c

也就是将pReg指针保存到r3中。

【C代码34行】

这里对应3条指令

首先将r3拷贝到r0中，然后将r0或上1左移3位，也就是

ORR r0,r0,#8

最后将r0的值写入r3所指地址中。

【C代码37行】

同33行，从内存地址0x0800 0180拷贝数据40010c00到r3中

【C代码38行】

同34行，这里也对应3条指令：

【C代码40行】

和33行不同的是，这里分了两条指令：

笔者认为前面是编译器优化了。根据ARM指令采用流水线机制，当前执行地址A的指令，同时已经在对下一条指令进行译码同时已经在读取下下一条指令：PC = A +4 (Thumb/Thumb2指令集)。因此前面类似的代码被优化了。

接下来就进入循环中。

后面就移植在死循环中，不断操作GPIO的亮灭。

【C代码45行】

这里是将B0设置为1，和34行类似。

【C代码47行】

这里将进入延时函数。

进入延时函数：

NOP是字节对齐，减少指令的内存访问次数。首先将变量d保存到r0，然后将r0赋给r1，接着是r0自减1，紧接着是r1与0比较，如果r1等于0，则会返回，否则，又从头开始，值得注意的是，这里先比较，然后r0才自减的。

为了进一步说明，可以看--d的汇编代码。

这里就是相当于r1先减1，然后再比较的。

【C代码50行】

这行代码对应一下指令，很简单。

5总结

在前面使用Keil进行了反汇编，也对相应的C代码进行了分析。我们看到的反汇编代码如下：

根据反汇编的代码，可将其对应到Flash，在Flash上的内容如下表所示：

地址

Flash内容

0x08000000

0x08000004

0x08000008

f8dfd004

0x0800000c

f000f80c

最后总结下点灯的流程：

第一步：设置栈：CPU会从0x08000000读取值，用来设置SP。

第二步：跳转：CPU从0x08000004得到地址值，根据它的BIT0切换为ARM状态或Thumb状态，然后跳转。

第三步：对于cortex M3/M4，它只支持Thumb状态，所以0x08000004上的值bit0必定是1，0x08000004上的值 = Reset_Handler + 1。从Reset_Handler继续执行。

第四步：然后进入到主函数中执行相应C代码