熟悉Linux和windows开发的同学都知道，ELF是Linux下可执行文件的格式，PE32／PE32+是windows下可执行文件的格式，下面我们要讲的就OSX和iOS环境下可执行文件的格式：mach-o。

Mach-O 是 Mach object 文件格式的缩写，它是一种用于记录可执行文件、对象代码、共享库、动态加载代码和内存转储的文件格式。作为 .out 格式的替代品，Mach-O 提供了更好的扩展性，并提升了符号表中信息的访问速度（from wiki）。

分析工具

1. MachOView工具可以在Mac平台上查看MachO文件格式信息，是一种可视化的方式，能更直观的方便我们查看；
2. otool是命令行工具，该工具是Xcode自带的，路径是：/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/otool，具体操作可以使用man otool查看。

结构

从苹果的官方文档中我们可以知道，mach-o文件主要包括以下三个区域：

apple-doc.jpg

1. Header头部区域，主要包括mach-o文件的一些基本信息；
2. LoadCommands加载命令，是由多个Segment command组成的；
3. Data包含Segement的具体数据。

下面我们通过工具看下具体区域的结构。

Header

Header位于mach-o文件的开始位置，不管是在32位架构还是64位架构。根据🍎开源的代码中我们可以看到以下数据结构（下面的代码默认都是以64位为例）：

/*
 * The 64-bit mach header appears at the very beginning of object files for
 * 64-bit architectures.
 */
struct mach_header_64 {
    uint32_t    magic;      /* mach magic number identifier */
    cpu_type_t  cputype;    /* cpu specifier */
    cpu_subtype_t   cpusubtype; /* machine specifier */
    uint32_t    filetype;   /* type of file */
    uint32_t    ncmds;      /* number of load commands */
    uint32_t    sizeofcmds; /* the size of all the load commands */
    uint32_t    flags;      /* flags */
    uint32_t    reserved;   /* reserved */
};

首先我们通过otool工具查看Alipay的header结构：

➜  ~ otool -hv /Alipay/Payload/AlipayWallet.app/AlipayWallet
Mach header
      magic cputype cpusubtype  caps    filetype ncmds sizeofcmds      flags
   MH_MAGIC     ARM         V7  0x00     EXECUTE    75       7524   NOUNDEFS DYLDLINK TWOLEVEL BINDS_TO_WEAK
Mach header
      magic cputype cpusubtype  caps    filetype ncmds sizeofcmds      flags
MH_MAGIC_64   ARM64        ALL  0x00     EXECUTE    75       8240   NOUNDEFS DYLDLINK TWOLEVEL BINDS_TO_WEAK PIE

二进制文件包含arm64和armv7s两个指令集，就是我们通常听到的胖二进制结构或者多重指令集。下面我们对header的结构做一个大致的分析：

• magic: 表示的是mach-o文件的魔数#define MH_MAGIC_64 0xfeedfacf。
• cputype和cupsubtype: 标识的是cpu的类型和其子类型,具体定义可以查看mach/machine.h文件中的定义。

#define CPU_TYPE_I386       CPU_TYPE_X86        /* compatibility */
#define CPU_TYPE_X86_64     (CPU_TYPE_X86 | CPU_ARCH_ABI64)
#define CPU_TYPE_MC98000    ((cpu_type_t) 10)
#define CPU_TYPE_HPPA           ((cpu_type_t) 11)
#define CPU_TYPE_ARM        ((cpu_type_t) 12)
#define CPU_TYPE_ARM64          (CPU_TYPE_ARM | CPU_ARCH_ABI64)

• filetype文件类型，比如可执行文件、库文件、Dsym文件等，定义如下所示：

 * Constants for the filetype field of the mach_header
 */
#define MH_OBJECT   0x1     /* relocatable object file */
#define MH_EXECUTE  0x2     /* demand paged executable file */
#define MH_FVMLIB   0x3     /* fixed VM shared library file */
#define MH_CORE     0x4     /* core file */
#define MH_PRELOAD  0x5     /* preloaded executable file */
#define MH_DYLIB    0x6     /* dynamically bound shared library */
#define MH_DYLINKER 0x7     /* dynamic link editor */
#define MH_BUNDLE   0x8     /* dynamically bound bundle file */
#define MH_DYLIB_STUB   0x9     /* shared library stub for static */
                    /*  linking only, no section contents */
#define MH_DSYM     0xa     /* companion file with only debug */
                    /*  sections */
#define MH_KEXT_BUNDLE  0xb     /* x86_64 kexts */

• ncmds：load commands的个数；
• sizeofcmds：所有的load commands的大小。
• flags:标志位，定义有很多，具体可以看下mach-o/load.h里面的定义，下面列出了上面Alipay打印出来的header的flag：

#define MH_NOUNDEFS 0x1     /* 该文件没有未定义的符号引用 */
#define MH_DYLDLINK 0x4     /* 该文件是dyld的输入文件，无法被再次静态链接 */
#define MH_TWOLEVEL 0x80        /* 该镜像文件使用2级名称空间 */
#define MH_BINDS_TO_WEAK 0x10000    /* 最后链接的镜像文件使用弱符号 */
#define MH_PIE 0x200000 /* 加载程序在随机的地址空间，只在MH_EXECUTE中使用 */

二级名称空间

这是dyld的一个独有特性，说是符号空间中还包括所在库的信息，这样子就可以让两个不同的库导出相同的符号，与其对应的是平坦名称空间。

Load Commands

load command结构紧跟着header结构的后面，并且它们在虚拟内存中指定文件的逻辑结构和文件的布局。 每个加载命令从指定命令类型和命令数据大小的字段开始。
load command的结构如下所示：

struct load_command {
    uint32_t cmd;       /* type of load command */
    uint32_t cmdsize;   /* total size of command in bytes */
};

• cmd: load command的类型，具体支持的类型如下图所示；
• cmdsize: 所有command的大小。

下面列举常见的command类型及用途：

这些加载命令在Mach-O文件加载解析时，被内核加载器或者动态链接器调用，指导如何设置加载对应的二进制数据段，具体定义可以查看/usr/include/mach-o/loader.h文件或者最后列出的🍎文档。

可以使用命令otool -v -l AlipayWallet查看APP当前的所有的load command。

段数据（Segments）

在上面load command中有定义LC_SEGMENT和LC_SEGMENT_64两种类型，它们实际上就是标识的segments，我们可以看下Alipay的结构：

macho-segment.png

数据结构定义：

struct segment_command_64 { /* for 64-bit architectures */
    uint32_t    cmd;        /* LC_SEGMENT_64 */
    uint32_t    cmdsize;    /* includes sizeof section_64 structs */
    char        segname[16];    /* segment name */
    uint64_t    vmaddr;     /* memory address of this segment */
    uint64_t    vmsize;     /* memory size of this segment */
    uint64_t    fileoff;    /* file offset of this segment */
    uint64_t    filesize;   /* amount to map from the file */
    vm_prot_t   maxprot;    /* maximum VM protection */
    vm_prot_t   initprot;   /* initial VM protection */
    uint32_t    nsects;     /* number of sections in segment */
    uint32_t    flags;      /* flags */
};

每一个segment定义了一些Mach-O文件的数据、虚拟地址、文件偏移和内存保护等属性，这些数据在动态链接器加载程序时被映射到了虚拟内存中。每个段都有不同的功能，主要包括如下几种类型：

• __PAGEZERO: 空指针陷阱段，映射到虚拟内存空间的第一页，用于捕捉对NULL指针的引用，没有保护标志位；
• __TEXT: 包含了执行代码以及其他只读数据；
• __DATA: 包含了程序数据，该段可读写；
• __LINKEDIT: 含有为动态链接库使用的原始数据，比如符号，字符串，重定位表条目等等， 该段可读写。
• _RODATA：包含objc类名、方法等列表。

一般情况下__TEXT和__DATA段又分为几种section。
section括号前面大写的字母代码segment的名称，后面小写字母代表section名称。

下面列出__TEXT和__DATA下的section：

随机地址空间

进程每一次启动，地址空间都会简单地随机化。该方式对APP的安全性具有重大的意义。如果采用传统的方式，程序的每一次启动的虚拟内存镜像都是一致的，黑客很容易采取重写内存的方式来破解程序。采用ASLR可以有效的避免黑客的中间人攻击等。

dyld

dyld动态链接器，全名是dynamic link editer，当内核执行LC_DYLINK时，连接器会启动，查找进程所依赖的所有的动态库，并加载到内存中，当然，🍎内部对这个步骤做了很多优化，有兴趣的可以查看WWDC相关的视频。

用途

上面我们列举了mach-o文件格式的组成部分及一些主要结构，通过分析我们的APP的可执行文件，可以帮助我们更深层次的了解APP的一些信息，也可以做一些hack的事情，比如微信之前有出一篇博文，讲的就是通过LinkMap文件进行iOS APP瘦身。这里注意，如果不使用LinkMap文件而是APP可执行文件的话，一定要是debug编译出来的，因为release编译的话是已经优化过的二进制文件，没有我们想要的一些信息。

查找无用selector

以往C++在链接时，没有被用到的类和方法是不会编进可执行文件里。但Objctive-C不同，由于它的动态性，它可以通过类名和方法名获取这个类和方法进行调用，所以编译器会把项目里所有OC源文件编进可执行文件里，哪怕该类和方法没有被使用到。

结合LinkMap文件的__TEXT.__text，通过正则表达式([+|-][.+\s(.+)])，我们可以提取当前可执行文件里所有objc类方法和实例方法（SelectorsAll）。再使用otool命令otool -v -s __DATA __objc_selrefs逆向__DATA.__objc_selrefs段，提取可执行文件里引用到的方法名（UsedSelectorsAll），我们可以大致分析出SelectorsAll里哪些方法是没有被引用的（SelectorsAll-UsedSelectorsAll）。注意，系统API的Protocol可能被列入无用方法名单里，如UITableViewDelegate的方法，我们只需要对这些Protocol里的方法加入白名单过滤即可。

另外第三方库的无用selector也可以这样扫出来的。

查找无用oc类

查找无用oc类有两种方式，一种是类似于查找无用资源，通过搜索"[ClassName alloc/new"、"ClassName *"、"[ClassName class]"等关键字在代码里是否出现。另一种是通过otool命令逆向__DATA.__objc_classlist段和__DATA.__objc_classrefs段来获取当前所有oc类和被引用的oc类，两个集合相减就是无用oc类，具体分析如下：
通过命令行：otool -arch arm64 -o AlipayWallet > ~/Desktop/all.txt保存所有的信息。

打开文件可以看到类似下面的数据：

/// 所有的信息
AlipayWallet:
Contents of (__DATA,__objc_classlist) section
00000001039d6d60 0x10442e250
           isa 0x10442e228
    superclass 0x10442e7a0
         cache 0x0
        vtable 0x0
          data 0x1039f2378 (struct class_ro_t *)
                    flags 0x90
            instanceStart 8
             instanceSize 8
                 reserved 0x0
               ivarLayout 0x0
                     name 0x104c5d014 APSettingsCanSchemeHandleParse
              baseMethods 0x1039f2358 (struct method_list_t *)
           entsize 24
             count 1
              name 0x10473c037 doParseURL:
             types 0x104ca59c7 @24@0:8@16
               imp 
            baseProtocols 0x0
                    ivars 0x0
           weakIvarLayout 0x0
           baseProperties 0x0
Meta Class
           isa 0x0
    superclass 0x10442e778
         cache 0x0
        vtable 0x0
          data 0x1039f2310 (struct class_ro_t *)
                    flags 0x91 RO_META
            instanceStart 40
             instanceSize 40
                 reserved 0x0
               ivarLayout 0x0
                     name 0x104c5d014 APSettingsCanSchemeHandleParse
              baseMethods 0x0 (struct method_list_t *)
            baseProtocols 0x0
                    ivars 0x0
           weakIvarLayout 0x0
           baseProperties 0x0
 ......

debug编译出来的可执行文件objc_classrefs段：

...
0000000101ba2340 0x101befcb0 _OBJC_CLASS_$_QQObjectPasteboard
0000000101ba2348 0x101befd28 _OBJC_CLASS_$_QQArrayPasteboard
0000000101ba2350 0x101befe68 _OBJC_CLASS_$_QQApiURLDecoder
0000000101ba2358 0x101bf0200 _OBJC_CLASS_$_QQWebViewKit
0000000101ba2360 0x101befe40 _OBJC_CLASS_$_QQApiURLEncoder
0000000101ba2368 0x101befff8 _OBJC_CLASS_$_GetMessageFromQQReq
0000000101ba2370 0x101bf0048 _OBJC_CLASS_$_GetMessageFromQQResp
0000000101ba2378 0x101bf0138 _OBJC_CLASS_$_ShowMessageFromQQReq
0000000101ba2380 0x101bf0188 _OBJC_CLASS_$_ShowMessageFromQQResp
...

release编译出来的可执行文件objc_classrefs段：

...
00000001043dc060 0x0 _OBJC_CLASS_$_NSDictionary
00000001043dc068 0x0 _OBJC_CLASS_$_NSNotificationCenter
00000001043dc070 0x10442e6b0
00000001043dc078 0x10442e340
00000001043dc080 0x10442e5c0
00000001043dc088 0x10442e610
00000001043dc090 0x10442e660
00000001043dc098 0x10442e520
00000001043dc0a0 0x0 _OBJC_CLASS_$_NSBundle
...

其中__objc_classlistsection保存了所有的类信息，objc_classrefssection中保存了使用的类信息，objc_classrefs第二列是代表偏移量，和__objc_classlist中每个类开头00000001039d6d60 0x10442e250第二列的值是相同的。所以我们可以通过脚本找出所有的类和所有使用的类，两者相减就是没有使用的类。

针对上面两个小的功能，写了一个小的ruby脚本，自动的找出没有使用的selector和class，具体的使用及代码大家可以查看我的GitHub.

References

1. OS X ABI Mach-O File Format Reference
2. Mach-O file
3. mach-o格式浅析(二)
4. iOS微信安装包瘦身
5. Executing Mach-O Files
6. Fat_binary
7. loader.h