iOS-逆向04-判断&循环&选择
《iOS底层原理文章汇总》1.cmp(Compare)比较指令 ???CMP 把一个寄存器的内容和另一个寄存器的内容或立即数进行比较。但不存储结果,只是正确的更改标志。
???一般CMP做完判断后会进行跳转,后面通常会跟上B指令!
- BL 标号:跳转到标号处执行
- B.LT 标号:比较结果是小于,执行标号,否则不跳转
- B.LE 标号:比较结果是小于等于,执行标号,否则不跳转
- B.GT 标号:比较结果是大于(greater than),执行标号,否则不跳转
- B.GE 标号:比较结果是大于等于(greater than or equal to),执行标号,否则不跳转
- B.EQ 标号:比较结果是等于,执行标号,否则不跳转
- B.HI 标号:比较结果是无符号大于,执行标号,否则不跳转
- B.NE 标号:比较结果不等于
- B.HI 标号:无符号大于
2.栈区:参数,局部变量,临时数据
3.堆区:动态申请,可读,可写
4.全局变量:可读可写
5.常量区:只读
I.全局变量和常量
图片.png 图片.png 68 61 68 61
h a h a 前面四个字节表示haha
0x104c93f9f: 68 61 68 61 00 01 00 00 00 1c 00 00 00 02 00 00 haha............
0x104c93faf: 00 24 00 00 00 00 00 00 00 24 00 00 00 02 00 00 .......
以上两个十六个字节分别对应字符,x0获取到的内存地址属于字符串常量区,
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/1969d53c3e224961a3982c962e3d6b81.jpg)
文章图片
image
0x104c9218c <+20>: adrpx0, 1
0x104c92190 <+24>: addx0, x0, #0xf9f;
=0xf9f
上面两句代码是如何得到字符串常量区的内存地址0x0000000104c93f9f并存放到x0寄存器中的呢?adrp表示以页来寻址(address page),将1的值左移12位,十六进制左移0x1000,相当于二进制左移12位,将当前pc寄存器的地址加上1左移12位的值,且将原来的地址最后3位(低12位)清零
0x104c9218c --- > 0x104c9218c
0x1000 0x1000
0x104c93000得到尾数是000,则地址值是16的倍数,也是4的倍数,iOS中一页数据的大小PAGESIZE是16K,也就是会偏移0x4000,Mac中一页数据PAGESIZE的大小是4K,0x104c93000是一页数据的开头,加上偏移地址f9f得到存放字符串常量“haha”的内存地址0x104c93f9f
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/29771feeac6045a8baf89bf26ebd3898.jpg)
文章图片
image 页号是在编译器编译时候确定的,以PC寄存器作为参照相当于以当前代码段的地址作为参照
为什么不能直接加这个地址,需要偏移呢?
我们不能得到一个确定的内存地址,但是我们能得到一个参照
程序在内存中的地址通常会通过ASLR,即实际地址+ASLR = 偏移地址,ASLR -> 0x0000000102e18000,
实际地址 + ASLR -> 0x0000000102e18000 = 偏移地址 0x0000000102e1e18c
偏移值作为参照会有两种参照方式:从文件的起始位置偏移或从当前代码的地址偏移,常量区的内存地址的计算是从当前代码的地址偏移
同理,取全局变量g的内存地址 0x104f16194 ---> 0x104f19648
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/18505856da0943bdb53526fd17ff2457.jpg)
文章图片
image 图片.png
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/6654111e058c4fadab5babee743ef1ee.jpg)
文章图片
image 通过汇编拿到地址-aspr 得到MachO文件中的地址
0x f9f
0x104c93f9f
0xf9f的值是编译器给的
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/308ec734125245fdbb4d3d4926ff3b4c.jpg)
文章图片
image 若是0x1002bf888 <+20>: adrp x0,2
01002c1000
最后结果是将“haha”字符串出放入x0寄存器中传入printf函数
通过内存地址无法判断是字符串常量还是全局变量
3.通过汇编代码还原高级语言
1.编译当前工程 2.在product目录下.app中显示包内容,将app同名的MachO文件拖入hopper disassembler v4中
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/1f6c22d8e0fc4e87838905205d92a599.jpg)
文章图片
image
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/622084545b014039a2e63aa04310b9a2.jpg)
文章图片
图片.png
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/57888241a3d248b99b96d4b1a418e97e.jpg)
文章图片
image 直接adrp的地址已经算好,是没有aslr的地址0x100007000+0xf9f
在MachOView烂苹果中查找0x100007f9f的地址,得到字符串常量haha的值,字符串常量存在String区
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/5601663d65314b90bda8bb44bd5b1492.jpg)
文章图片
image
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/a448f770b18a4c3fa82d74c5383adf4d.jpg)
文章图片
image 同理查找全局变量g的值0x100009000 + 0x648
在MachOView烂苹果中查找0x100009648的地址,得到全局变量g的值12,字符串常量存在String区,全局变量存在于section64,data部分
图片.png 图片.png 精简代码
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/360f6537c0764d4f84683441c2aa3069.jpg)
文章图片
image 得到原来高级代码
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/c8c172d495a84ebcb2c5e0d7e7f554b1.jpg)
文章图片
image 3.代码的执行流程并不关心,只关心执行的结果和原始的一样
4.if
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/f5594a7f21a345b7866d8917ca51380b.jpg)
文章图片
image 两者相减,若小于0,跳入loc_1000061c0
若大于0,直接往下走
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/37e379b803e647bf93f2acff66641955.jpg)
文章图片
image 还原高级语言代码
图片.png
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/c50adfed42014f07a3d8cb36263d6728.jpg)
文章图片
image 5.循环(loop) do{}while(); 循环
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/8460c78bf813456bac270f80d21e2d42.jpg)
文章图片
图片.png
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/1bb22ba982ff4ba8bbc42d73cbff2644.jpg)
文章图片
image while(){}; 循环
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/7de7f7d9ff8b4ca08100ebdcb18b09ae.jpg)
文章图片
image
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/524d785d54b241679d8959a851d5ccc4.jpg)
文章图片
image for循环 和 while循环一模一样
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/c6b058fe4f014fb8820c024cd36139a2.jpg)
文章图片
image 图片.png 5.Switch 1、假设switch语句的分支比较少的时候(例如3,少于4的时候没有意义)没有必要使用此结构,相当于if。
2、各个分支常量的差值较大的时候,编译器会在效率还是内存进行取舍,这个时候编译器还是会编译成类似于if,else的结构。
3、在分支比较多的时候:在编译的时候会生成一个表(跳转表每个地址四个字节)。
switch三个case情况
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/f2b98095a2ef4c868c70e60e47f11dd8.jpg)
文章图片
image
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/1df0d4d60c9e4014bd49f239a29ff48d.jpg)
文章图片
image switch四个case情况:建立一张数据表8字节、8字节、8字节,将每一个条件要做的事情放到不同的连续地址8字节,得到index到数据表中去查找地址,找到后直接执行地址中保存的代码,通过一次运算,直接查表,找到要执行的地址,不需要多次if else判断
switch判断条件比较多,一直if else会浪费时间比较多
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/28675db4366c400697c575756fa0bf74.jpg)
文章图片
image
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/9bc984ce860841a0856ae19382bc64e3.jpg)
文章图片
image switch若判断条件无规则呢?没有查表,进行多次比较
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/9cff4b71093d4226922a0401e410fb58.jpg)
文章图片
图片.png
![iOS-逆向04-判断&循环&选择](https://img.it610.com/image/info10/ad542bb5ede2479cae89b0550d521ad7.jpg)
文章图片
image 【iOS-逆向04-判断&循环&选择】条件有规律的情况下,如何建表,查表的呢?且看下文分析。
推荐阅读
- 2020-04-07vue中Axios的封装和API接口的管理
- 2019-04-01|2019-04-01 幸运
- 《将来的你,一定会感谢现在战胜烦恼的自己-------第四章/第十一节/用逆向思维解除烦恼》
- 2018-04-16动画练习作业
- iOS-Swift-map|iOS-Swift-map filter reduce、函数式编程
- 2019-04-27|2019-04-27 所谓爱情
- 华杉版资治通鉴【1154】别人家的孩子,是中国人民永远的噩梦。2021-04-03
- 2019-04-30,4月的结尾
- 爬虫|若想拿下爬虫大单,怎能不会逆向爬虫,价值过万的逆向爬虫教程限时分享
- 2021-04-29天山之恋(30)