iOS-逆向03-函数本质(下)

《iOS底层原理文章汇总》

1.带8个参数以上的函数的汇编实现原理

test函数拥有9个参数,栈中如何存储第9个参数

int test(int a,int b,int c,int d,int e,int f,int g,int h,int i){
    return a+b+c+d+e+f+g+h+i;
}
image
image
image

将sp寄存器储存的栈内存地址赋值给x8
将参数9赋值给w10寄存器
将w10中存储的值9传给x8地址指向的内存位置

image

进入test函数
从sp+#0x30的栈内存位置中取出w8的值放到w8中

图片.png

分别从sp+0x2c及往前4个字节的位置
取出参数1,2,3,4,5,6,7,8,9
相加存入w0中,并返回x0,回收栈空间

这些多余的指令操作,编译器会自动优化,test函数的存在与否对整个程序的运行结果没有任何影响
设置为release模式后,test函数直接没有了,因为对程序的结果没有任何影响

image
image

若函数被调用了呢

image
image

test函数没有了,直接返回45结果到w8寄存器当中,相当于printf("%d",45);

2.自己实现汇编函数

实现一个加法函数,并有嵌套调用,正常输出,记得设计嵌套调用要保存lr的值

image
图片.png

开辟栈内存空间,保存lr的值,汇编代码的简写形式

image

3.直接使用b进行跳转

不会改变lr寄存器的值,直接跳转,经常用在破解的地方,跳过代码执行


image

4.拉伸栈空间和传递的参数有关系,和要用到的内存空间有关系,当参数过多,寄存器放不下,会需要用到内存,就会将栈空间放大,不仅仅是参数个数,还有局部变量,局部变量和栈空间大小有关系,局部变量越多,栈空间越大

5.返回值:返回值大于8个字节,返回值也会用栈内存来存储返回

返回值小于等于8个字节用x0存储

返回一个结构体大小为24个字节的结构体

image

ViewDidLoad中预留了0x20一共32个字节,给getStr中保存参数使用


image

ViewDidLoad中的栈内存分配图如下,x8便于在getstr中获取栈内存地址空间存储参数值

图片.png

str w9 [x8]此时的x8保存的是ViewDidLoad分配的栈内存sp+0x8的地址,w9中的值存储到ViewDidLoad内存中,x0寄存器没有用到


image

为什么w5后直接用w9呢,因为w0-w7专门用作参数,x8用作返回值参考,w0-w7默认用来存放参数,用w9作为临时变量来运算

6.函数的局部变量:局部变量和参数的计算通过寄存器来完成,参数的传递用寄存器,栈平衡后就拿不到局部变量和参数了,销毁了,等待被覆盖

I.系统如何处理局部变量

局部变量0x6存到w8中,再取出w8的值存到内存中


image

II.函数嵌套调用的局部变量的处理

取出局部变量6存到w8中,再存到内存中,保护现场,,从内存中取出到寄存器中进行运算,运算结果存储w0的值到栈内存中,两次调用,两次存储运算结果值到不同的内存区域,sp+0x10,sp+0xc,平衡栈空间,返回值。

image

只有4个字节操作的时候就用stur,其他用str

7.标记寄存器

1.状态寄存器

   CPU内部的寄存器中,有一种特殊的寄存器(对于不同的处理器,个数和结构都可能不同).这种寄存器在ARM中,被称为状态寄存器就是CPSR(current program status register)寄存器
CPSR和其他寄存器不一样,其他寄存器是用来存放数据的,都是整个寄存器具有一个含义.而CPSR寄存器是按位起作用的,也就是说,它的每一位都有专门的含义,记录特定的信息.

注:CPSR寄存器是32位的

  • CPSR的低8位(包括I、F、T和M[4:0])称为控制位,程序无法修改,除非CPU运行于特权模式下,程序才能修改控制位!
  • N、Z、C、V均为条件码标志位。它们的内容可被算术或逻辑运算的结果所改变,并且可以决定某条指令是否被执行!意义重大!
15201620642085

I.cmp比较指令

b.ne是有条件的跳转
函数的跳转是无条件的跳转

image

cpsr的值为0x80000000,最高位为1000,跳转前改变cpsr的值为
0x40000000,最高位为0100,此时的跳转会跳入a==b中

图片.png

相当于改变了代码逻辑,这就是调试中的暴力破解

image

是否为正负数看NZ两位

N(Negative)标志

CPSR的第31位是 N,符号标志位。它记录相关指令执行后,其结果是否为负.如果为负 N = 1,如果是非负数 N = 0.

   注意,在ARM64的指令集中,有的指令的执行时影响状态寄存器的,比如add\sub\or等,他们大都是运算指令(进行逻辑或算数运算);只有加上s后才会影响最高位寄存器,若不加,是不会影响的

执行adds命令前,cpsr最高位为0110

image

执行adds后,结果为负数,改变cpsr的最高位为1,即1000

图片.png

将adds改为add则不会影响


image

Z(Zero)标志

CPSR的第30位是Z,0标志位。它记录相关指令执行后,其结果是否为0.如果结果为0.那么Z = 1.如果结果不为0,那么Z = 0.

   对于Z的值,我们可以这样来看,Z标记相关指令的计算结果是否为0,如果为0,则Z要记录下"是0"这样的肯定信息.在计算机中1表示逻辑真,表示肯定.所以当结果为0的时候Z = 1,表示"结果是0".如果结果不为0,则Z要记录下"不是0"这样的否定信息.在计算机中0表示逻辑假,表示否定,所以当结果不为0的时候Z = 0,表示"结果不为0"。

执行adds之前,最高位4位为0110,
执行adds后,最高位4位为0100,结果为非负数N为0
结果为0,Z为1

image

C(Carry)标志

CPSR的第29位是C,进位标志位。一般情况下,进行无符号数的运算。
加法运算:当运算结果产生了进位时(无符号数溢出),C=1,否则C=0。无符号数11111111 + 1 = 1 0000 0000 溢出了,1溢出到C标志位
减法运算(包括CMP):当运算时产生了借位时(无符号数溢出),C=0,否则C=1。0000 0001 - 0000 0010,不够减,找C标志位借位

   对于位数为N的无符号数来说,其对应的二进制信息的最高位,即第N - 1位,就是它的最高有效位,而假想存在的第N位,就是相对于最高有效位的更高位。如下图所示:

15468591547671

加法运算:前面帮忙留着空个位置0,方便进位
减法运算:前面帮忙留个1,方便借位

进位

   我们知道,当两个数据相加的时候,有可能产生从最高有效位想更高位的进位。比如两个32位数据:0xaaaaaaaa + 0xaaaaaaaa,将产生进位。由于这个进位值在32位中无法保存,我们就只是简单的说这个进位值丢失了。其实CPU在运算的时候,并不丢弃这个进位制,而是记录在一个特殊的寄存器的某一位上。ARM下就用C位来记录这个进位值。比如,下面的指令

mov w0,#0xaaaaaaaa;0xa 的二进制是 1010
adds w0,w0,w0; 执行后 相当于 1010 << 1 进位1(无符号溢出) 所以C标记 为 1
adds w0,w0,w0; 执行后 相当于 0101 << 1 进位0(无符号没溢出) 所以C标记 为 0
adds w0,w0,w0; 重复上面操作
adds w0,w0,w0
image
图片.png

借位

   当两个数据做减法的时候,有可能向更高位借位。再比如,两个32位数据:0x00000000 - 0x000000ff,将产生借位,借位后,相当于计算0x100000000 - 0x000000ff。得到0xffffff01 这个值。由于借了一位,所以C位 用来标记借位。C = 0.比如下面指令:

mov w0,#0x0
subs w0,w0,#0xff ;
subs w0,w0,#0xff
subs w0,w0,#0xff

V(Overflow)溢出标志

CPSR的第28位是V,溢出标志位。在进行有符号数运算的时候,如果超过了机器所能标识的范围,称为溢出。

  • 正数 + 正数 为负数 溢出 0111 + 0111结果为负数
  • 负数 + 负数 为正数 溢出
  • 正数 + 负数 不可能溢出 a:正数 b:负数,a+b < a ,a+b > b,既然 a 和 b都没溢出,那么 b < a+b <a,a+b怎么会溢出

V位只要有运算当做有符号数运算的结果,C位有运算当做是无符号数运算的结果

8.问题一:超过8个参数从ViewDidLoad中传入调用的getStr方法中时,比如getStr(0,1,2,3,4,5,6,7,8,9),此时进入getStr开辟栈空间,8,9存w8,w9,取w8,w9中的值,当getStr栈空间释放时,栈平衡,w8,w9没有释放

w8,29相当于是ViewDidLoad的局部变量,跟随ViewDidLoad一起释放,传递时属于ViewDidLoad栈区域,当ViewDidLoad调用完毕才会释放

A调用B,B执行完毕后,B的参数都释放了吗?

image

问题二:ViewDidLoad中调用getStr获取结构体,如果要使用这个结构体,直接访问栈地址吗?

ViewDidLoad中开辟栈空间存储str2,结构体存在栈区域
24个字节,若当前ViewDidLoad有返回值,则return &str2
外界不能使用返回的&str2,栈空间在函数结束时被释放了,一般返回结构体指针,在堆中开辟24个字节内存空间,变量用完后,要free堆空间

图片.png
图片.png

知识回顾

image
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 202,607评论 5 476
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 85,047评论 2 379
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 149,496评论 0 335
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,405评论 1 273
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,400评论 5 364
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,479评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,883评论 3 395
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,535评论 0 256
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,743评论 1 295
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,544评论 2 319
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,612评论 1 329
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,309评论 4 318
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,881评论 3 306
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,891评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,136评论 1 259
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 42,783评论 2 349
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,316评论 2 342

推荐阅读更多精彩内容