iOS开发逆向之循环选择指针（上）

本文的主要目的是理解汇编中全局变量、常量的存储，以及如何将if、while等汇编代码还原成高级代码

全局变量

在这之前首先需要了解内存的分区，对这块不是特别清晰的，建议看看iOS-底层原理：内存五大区，下面进行一个简单的汇总说明

• 代码区：存放代码，可读、可执行

• 栈区：存放参数、局部变量、临时数据，可读写

• 堆区：开发人员动态申请，大小可变，可读写

• 全局变量：可读可写

• 常量：只读

案例分析

首先作为一个开发者，有一个学习的氛围跟一个交流圈子特别重要，这是一个我的iOS开发交流群：130595548，不管你是小白还是大牛都欢迎入驻 ，让我们一起进步，共同发展！（群内会免费提供一些群主收藏的免费学习书籍资料以及整理好的几百道面试题和答案文档！）

在main.m中定义一个函数和一个全局变量

int g = 12;

int func(int a, int b){
    printf("haha");
    int c = a + g;
    return c;
}

int main(int argc, char * argv[]) {

    func(1, 2);
}

• func函数断点运行，以下是main函数的汇编代码

• 查看func的汇编代码，分析如下

  

  • 查看x0是否为“haha”，通过调试得以验证，x0存的是haha的地址

    

  • 查看其地址：x 0x000000010098bf9f，属于字符串的常量区（即左边是右边字符串的ASCII码）

    

其中重点分析adrp x0,1和add x0,x0,#0xf9f两句

• adrp指令（address page 按页寻址）：
  • 将1的值左移12位，此时的1是二进制
  • 加上pc寄存器的值（先需要将pc的低12位清零）

<!--（按页寻址）-->
<!--adrp-->
0x10098a824 <+20>: adrp   x0, 1
- 1）1左移12位：0x1000
- 2）pc寄存器低12位清零：0x10098a000
- 3）加上pc寄存器的值：0x10098a000 + 0x1000 = 0x10098b000
===> 得到x0地址就是某一页数据的起始位置（即首地址）

<!--add-->
0x10098a828 <+24>: add    x0, x0, #0xf9f            ; =0xf9f 
- adrp得到的地址加上偏移：0x10098b000 + 0xf9f = 0x10098bf9f
===> 此时的x0就是某一页中某段代码的地址，即当前代码段的地址

通过这个计算结果可知与上面调试的x0地址是一致的

why？：一个页的大小是4096，而0xFFF为4095，加上1就是0x1000（即4096），所以是1左移12位即可得到一个页的首地址（注：macOS的pageSize是 4k（0x1000），而iPhone的pageSize是16k（0x4000），但是16仍是4的倍数，adrp兼容者mac和iPhone，所以此时定位的仍然是一页数据）

• 继续分析bl printf以下的汇编代码

  

  • ldur w8, [x29, #-0x4] ：拿出栈中的数据，即1

    

  • adrp + add + ldr