汇编基础（六）内存分配区

引言

在汇编当中不光光需要了解一些寄存器，汇编代码，也需要了解一下内存是怎么分区域的

列表：

• 代码区 特点：可读、可写、可执行
• 栈区域 放参数和局部变量
• 堆区域 动态申请、可读可写
• 全局 可读可写
• 常量 可读
  以上都是在编译器中完成的，编译器规定的。
  在汇编当中这些都是可读、可写的，因为汇编直接修改的是地址中的值

分析代码

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

int main(int argc, char * argv[]) {
    printf("%d",func(1, 2));
    return 0;  
}

转换汇编
main函数

    0x104fe28c4 <+0>:  sub    sp, sp, #0x30             ; =0x30 
    0x104fe28c8 <+4>:  stp    x29, x30, [sp, #0x20]
    0x104fe28cc <+8>:  add    x29, sp, #0x20            ; =0x20 
    0x104fe28d0 <+12>: orr    w8, wzr, #0x1
    0x104fe28d4 <+16>: orr    w9, wzr, #0x2
    0x104fe28d8 <+20>: stur   wzr, [x29, #-0x4]
    0x104fe28dc <+24>: stur   w0, [x29, #-0x8]
    0x104fe28e0 <+28>: str    x1, [sp, #0x10]
->  0x104fe28e4 <+32>: mov    x0, x8
    0x104fe28e8 <+36>: mov    x1, x9
    0x104fe28ec <+40>: bl     0x104fe2874               ; func at main.m:14
    0x104fe28f0 <+44>: mov    x30, x0
    0x104fe28f4 <+48>: mov    x10, sp
    0x104fe28f8 <+52>: str    x30, [x10]
    0x104fe28fc <+56>: adrp   x0, 1
    0x104fe2900 <+60>: add    x0, x0, #0xf2d            ; =0xf2d 
    0x104fe2904 <+64>: bl     0x104fe2bf8               ; symbol stub for: printf
    0x104fe2908 <+68>: mov    w8, #0x0
    0x104fe290c <+72>: str    w0, [sp, #0xc]
    0x104fe2910 <+76>: mov    x0, x8
    0x104fe2914 <+80>: ldp    x29, x30, [sp, #0x20]
    0x104fe2918 <+84>: add    sp, sp, #0x30             ; =0x30 
    0x104fe291c <+88>: ret    

func函数

    0x1008ce874 <+0>:  sub    sp, sp, #0x20             ; =0x20 
    0x1008ce878 <+4>:  stp    x29, x30, [sp, #0x10]
    0x1008ce87c <+8>:  add    x29, sp, #0x10            ; =0x10 
    0x1008ce880 <+12>: stur   w0, [x29, #-0x4]
    0x1008ce884 <+16>: str    w1, [sp, #0x8]
->  0x1008ce888 <+20>: adrp   x0, 1
    0x1008ce88c <+24>: add    x0, x0, #0xf28            ; =0xf28 
    0x1008ce890 <+28>: bl     0x1008cebf8               ; symbol stub for: printf
    0x1008ce894 <+32>: adrp   x30, 2
    0x1008ce898 <+36>: add    x30, x30, #0xd10          ; =0xd10 
    0x1008ce89c <+40>: ldur   w1, [x29, #-0x4]
    0x1008ce8a0 <+44>: ldr    w8, [x30]
    0x1008ce8a4 <+48>: add    w8, w1, w8
    0x1008ce8a8 <+52>: str    w8, [sp, #0x4]
    0x1008ce8ac <+56>: ldr    w8, [sp, #0x4]
    0x1008ce8b0 <+60>: str    w0, [sp]
    0x1008ce8b4 <+64>: mov    x0, x8
    0x1008ce8b8 <+68>: ldp    x29, x30, [sp, #0x10]
    0x1008ce8bc <+72>: add    sp, sp, #0x20             ; =0x20 
    0x1008ce8c0 <+76>: ret    

汇编分析
在main函数汇编中：（只写大概的意思就不一一分析了）

• 前三句，分配栈空间，保存栈底 跟 回家的路地址ret后的地址
• 赋值给w8 w9常量也就是func(1, 2)中的1和2
• stur wzr, [x29, #-0x4] wzr 的值存入 x29 - 0x4
• stur w0, [x29, #-0x8] w0的值存入到x29 - 0x8
• str x1, [sp, #0x10] x1的值存入到sp + 0x10
• mov x0, x8 x0 = x8 x0是参数 func中的参数
• mov x1, x9 x1 = x9 x1是参数 func中的参数
  后面的不做分析

在func函数汇编中

• 拉伸栈空间
• 保护：x29、x30入栈
• 将 x29 = sp + 0x10 sp地址向上移动16个字节
• 将w0 存入到 x29 - 0x4的地址中
• 将w1 存入到sp + 0x8的地址中
• adrp x0,1
  1. 1左移动12位 0001 0000 0000 0000
     0x1000
  2. 将pc寄存器的低12位清0
     0x102fbe000
  3. 将pc低12位清0后的值 = 0x1000 赋值给x0寄存器
     0x102fbe000
     总结
     adrp找到的是一个目标数据偏移的相对地址，他是一个不准确的地址，偏移的误差有4KB
     为什么偏移的误差是4KB呐？ 在地址总线上面，10条地址总线的寻址能力是1024，12条地址总线的能力是4*1024 4KB

• add x0, x0, #0xf28 x0 =0x102fbff28 这个应该是printf中打印的常量参数

  
  
• printf打印上面的常量参数
• adrp x30, 2
  1. 2左移动12位 0002 0000 0000 0000
     0x2000
  2. 将pc寄存器的低12位清0
     0x10013a000
  3. 将pc低12位清0后的值 = 0x2000 赋值给x0寄存器
     0x10013c000

• add x30, x30, #0xd10 x30 = 0x10013cd10 x30的值是一个地址，int*类型， 因为是地址所以需要去值 *（int *）

  
  
• ldur w1, [x29, #-0x4] x29 - 0x4 = w1 值
• ldr w8, [x30] w8 = x30 值
• add w8, w1, w8 w8 = w1 + w8 w1 是参数a w8是全局变量 20
• str w8, [sp, #0x4] w8的值存入 sp+0x4这个地址当中
• ldr w8, [sp, #0x4] 从地址 sp+0x4读取数据赋值给w8 这两句废话
• str w0, [sp] 将w0的值存入sp地址中
• mov x0, x8 x0 = x8
• ldp x29, x30, [sp, #0x10] 从sp+0x10开始分别读取存入x29、x30 回家的路
• add sp, sp, #0x20 收回栈空间 也就是栈平衡
• ret 回家

总结