后续我们会首先显示*.o的汇编,然后使用反编译后的C语言再比较最后的汇编结果。

通过IDA打开的汇编语言如下图:

接下来我们通过汇编来进行一步步的分析:

1、我们不能通过开始给R6,R5,R4的赋值操作确定其具体的含义,但是大致上可以判定为变量的初始化或是数据常量;

2、我们看到有一个标示符loc_10,如果你看过《IDA使用指南》的话会发现,这是IDA工具自己生成的,代表了一个跳转位置,符号只是为了阅读代码时起到一定的辅助作用,通过下面的汇编指令BLE loc_10跳转到该位置,而跳转的结果是根据上面的汇编语句CMP R4, R5来进行判断的,意思是如果R4小于等于R5则跳转到loc_10,整个过程R4在调用完_printf后发生了递增R6大小而R5则完全没有变化,从这个大致的框架分析得出这基本上是一个for语句或者while do语句或者do while语句,甚至你可以认为是if goto语句;

3、ADD R0, R4, R4, LSL#2语句,使用C语言来描述:R0 = R4 + R4<<4 = R4 + R4*4 = R4*5;

4、SUB R1, R0, #0XA0语句,上句的执行结果减上0XA0,也就是R4*5 - 0XA0,通过紧接着的语句MOV R0, #9可以看出R0实际上只是一个临时的值,也就不需要定义一个变量来表示;

5、接下来就是BL __rt_sdiv以及_printf的调用,__rt_sdiv是有符号的除法实现(__rt_udiv是无符号除法实现),而_printf则是printf的调用。通过__rt_sdiv的调用可以知道是为了计算R1/R0,也就是R4*5/9,返回值为R0临时存放到R2中;接下来是_printf的调用,dword_44开始的时候是很难分析器具体的含义的,但是我们在C语言中经常使用的printf一般来说第一个参数都是一个字符串的,因此我们调整一下该地址的数据的现实方式,如下图:

可以看到实际上是对2个有符号的整型数值进行了输出,第二个参数为R4,第三个参数则是前面的除法结果;

6、接下来是R4的递增R6大小;

7、程序返回0(通过MOV R0, 0来实现);

接下来是进行反编译的C语言实现:

他的汇编如下图:

导出汇编后与前面的汇编比较结果如下:

结果发现2者之间的汇编文件是一样的,其实通过可执行文件的实际运行发现,结果也是一致的。

原始的C语言代码如下:

其实我们可以看出,在C语言的实现上还是有很大不同的。