[TOC]
指针的基础
指针宽度:在64位系统中占8个字节=64bit;
编译器决定了指针不能做乘法和除法,但能进行加减运算;
指针的运算
-
求和 - 自增
自增的结果取决于指针指向的数据类型的宽度(可以简易看成指针去掉一个后*看左边的数据类型)。如:
int *a = (int *)100; a++; // 结果为a = (int *)104; char *a = (char *)100; a++; // 结果为a = (char *)101;
-
普通求和
指针加上一个整数的结果,其实就是指针指向的数据类型宽度决定的!
-
求差
指针求差,得到的结果是整形,其结果和指针指向的数据类型宽度有关!两个指针相减后需要除以数据宽度;如:
int *a = (int *)100; int *b = (int *)200; int *x = a - b; // 得到的结果为(100 - 200) / 4 = -25; x = b - 199; // 得到的结果为-569,此时指针取出数据出错,可能是溢出,可能是跨数据片段取出错误数据。
这也就是指针的特点! 它的运算单位 是数据类型的宽度!
指针反汇编
如指针源码:
int *a;
int b = 10;
a = &b;
对应汇编代码:
栈拉伸
x8, sp, #0x4
w9, #0xa
w9, [sp, #0x4]
x8, [sp, #0x8]
数组补充:
int arr[] = {1, 2, 3, 4, 5};
for (int i = 0; i < 5; i++) {
printf("%d\n", *(arr + i)); // 偏移后用*去地址对应的值
// int *a == arr[0] == arr
}
int *a = arr;
a++; // a可以进行自加,但arr是不能的,这是编译器决定的
指针用法
主要是多级指针。
c源代码:
char **p1; // p1 指向的是char *类型的数据类型,即去掉一个*后的类型
char c = **p1;
对应汇编:
ldr x8, [sp, #0x8]
ldr x8, [x8]
ldr x9, [x8]
偏移计算:
char **p1;
char c = *(*(p1 + 2) + 2); //分别偏移0x10、0x2
char c1 = p1[1][2]; // //分别偏移0x8、0x2
逆向原理
动态调试 通过cycript、lldb等定位某类的某方法
静态分析 利用汇编,分析三方APP的源码
代码注入 注入的是动态库,hook代码 改变程序的执行流程
重签名 安装在非越狱手机上
Class-dump
usr/bin、usr/local/bin的区别;
class-dump的环境变量配置,即其在环境变量中出现多次时调用的顺序;
导出头文件:
$ class-dump -H MachO文件Path -o 头文件路径
Mach-O
官方介绍总共有11种格式! 是 Mach Object的缩写,是Mac\iOS 上用于存储程序,库的标准格式!
常见的格式:
- 1.可执行文件
- 2.objcet
- .o 文件(目标文件),中间产物,clang编译结果
- .a 静态库文件。其实就是N个.o文件的集合
- 3.DYLIB: 动态库文件
- dylib,对macOS
- framework,对iOS
- 4.动态连接器
- 5.DSYM ,用于分析崩溃信息
clang指令
- 编译源文件:
clang -c test.c
得到.o文件,目标文件;使用file test.o
查看文件类型; - 链接:
clang test.o
,得到a.out
,可执行文件;使用./a.out
执行; - 链接并命名-1:
clang -o test test.o
; - 编译、链接并命名-2:
clang -o test1 test.c
,一次性编译和链接、命名; - 多个源文件编译并连接:
clang -o demo test2.c test1.c
,源文件的顺序不关心;
动态库共享缓存
为了提高性能,系统的动态库文件都存在了动态库共享缓存里面!
macOS:/private/var/db/dyld/dyld_shared_cache_x86_64h
动态加载器(dyld)
用于调用加载缓存库,macOS:/usr/lib/dyld
;
- dynamic linker
dynamic loade
Xcode中的架构设置
Build Active Architecture Only
:只编译当前架构版本。在release、debug设置不一样;
Architecture
:架构;Valid Architecture
:有效架构;
在编译时生成mach-o支持的平台是Architecture
与Valid Architecture
的交集;
拆分二进制文件
经常用于整合静态库。
静态分析时多数时候是针对某一个架构,所以可以先拆分开不同的架构;
通用可执行文件的大小不是和的大小,因为不同架构中间有相同的部分;
瘦身
$ lipo 002--可执行文件 -thin armv7 -output macho_armv7
$ lipo 002--可执行文件 -thin arm64 -output macho_arm64
整合
$ lipo -create macho_armv7 macho_arm64 -output machO_v7_64