苹果ipa软件包破解笔记

苹果的验证机制：

　　appstore上的应用都采用了drm（digital rights management）数字版权加密保护技术，直接的表现是a帐号购买的app，除a外的帐号无法使用，其实就是有了数字签名验证，而app的破解过程，实质也是去除数字签名的过程。去除过程包括两部分，如下所示：

       ipa文件都是使用苹果公司的fairplay drm技术进行加密保护

appsync没有装是不能安装的，程序没有破解是不能运行的

条件一，设备越狱，获得root权限，去除掉设备上的签名检查，允许没有合法签名的程序在设备上运行    

 代表工具：appsync（作者：dissident ，apptrack网站的核心人物）  

（ios 3.0 出现，不同的ios版本，原理都不一样）

ios 3.0后，mobileinstallation将可执行文件的签名校验委托给独立的二进制文件/usrlibexec/installd来处理,而appsync 就是该执行文件的一个补丁，用来绕过签名校验。

ios 4.0后，apple留了个后门（app给开发者预留的用于测试的沙盒环境），只要在/var/mobile/下建立tdmtanf目录，就可以绕过installd的签名校验，但该沙盒环境会造成没法进行iap购买，无法在gamecenter查看游戏排名和加好友，特征是进入game center会出现sandbox字样。appsync for ios 4.0 +修复了这一问题。

ios 5.0后，apple增加了新的安全机制来保护二进制文件，例如去掉二进制文件的符号表，给破解带来了难度。新版的appsync for ios 5.0+ 使用mobilesubstrate来hook libmis.dylib库的misvalidatesignatureandcopyinfo函数来绕过签名验证

条件二，解密mach-o可执行文件

一般采用自购破解的方法，即先通过正常流程购买appstore 中的app，然后采用工具或手工的方式解密安装包中的mach－o可执行文件。

之所以要先获得正常的ipa的原因是mach－o文件是有drm数字签名的，是加密过的，而解密的核心就是解密加密部分，而我们知道，当应用运行时，在内存中是处于解密状态的。所以首要步骤就是让应用先正常运行起来，而只有正常购买的应用才能达到这一目的，所以要先正常购买。

文件结构

mach-o

 在 os x, 几乎所有的包含可执行代码的文件，如：应用程序、框架、库、内核扩展……, 都是以mach-o文件实现. mach-o 是一种文件格式，也是一种描述可执行文件如何被内核加载并运行的abi (应用程序二进制接口)

mach-o为mach object文件格式的缩写，它是一种用于可执行文件，目标代码，动态库，内核转储的文件格式。作为a.out格式的替代，mach-o提供了更强的扩展性，并提升了符号表中信息的访问速度。

a.out是旧版类unix系统中用于执行档、目的码和后来系统中的函数库的一种文件格式，这个名称的意思是汇编器输出。

尽管目前大多数类unix系统都已改用elf格式，不再采用a.out格式，但编译器和链接器依然会在用户未指定文件名时，将输出文件取名为“a.out”

elf = executable and linkable format，可执行连接格式，是unix系统实验室（usl）作为应用程序二进制接口（application binary interface，abi）而开发和发布的，也是linux的主要可执行文件格式。

executable and linking format(elf)文件是x86 linux系统下的一种常用目标文件(object file)格式，有三种主要类型:

(1)适于连接的可重定位文件(relocatable file)，可与其它目标文件一起创建可执行文件和共享目标文件。

(2)适于执行的可执行文件(executable file)，用于提供程序的进程映像，加载的内存执行。

(3)共享目标文件(shared object file),连接器可将它与其它可重定位文件和共享目标文件连接成其它的目标文件，动态连接器又可将它与可执行文件和其它共享目标文件结合起来创建一个进程映像。

      专业一点讲, 它告诉系统: 

1，使用哪个动态库加载器 

2，加载哪个共享库. 

3，如何组织进程地址空间. 

4，函数入口点地址，等. 

       mach-o 不是新事物. 最初由开放软件基金会 (osf) 用于设计基于 mach 微内核osf/1 操作系统. 后来移植到 x86 系统openstep. 

       为了支持dyld(mac os x的连接器) 运行时环境, 所有文件应该编译成mach-o 可执行文件格式. 

       mach-o 文件分为三个区域: 头部、载入命令区section和原始段数据. 头部和载入命令区描述文件功能、布局和其他特性；原始段数据包含由载入命令引用的字节序列。为了研究和检查 mach-o 文件的各部分, os x 自带了一个很有用的程序otool，其位于/usr/bin目录下。 

aslt

地址空间布局随机化                                              

是一种针对缓冲区溢出的安全保护技术，通过对堆，栈，共享库映射等线性区布局的随机化，通过增加攻击者预测目的址的难度，防止攻击击者直接定位攻击代码位置，达到阻止溢出攻击的目的。

proc/sys/kernel/randomize_va_space用于控制linux下 内存地址随机化机制（address space layout

randomization)，有以下三种情况

0 - 表示关闭进程地址空间随机化。

1 - 表示将mmap的基址，stack和vdso页面随机化。

2 - 表示在1的基础上增加栈（heap）的随机化。

fat elf   

一个胖二进制（或多架构二进制）是一种已扩大可以在多个处理器类型上执行指令集的计算机可执行程序。执行通常的方法是包括一个版本的机器代码的每个指令集，前面代码的执行跳转到相应的节中的所有操作系统兼容。这将导致在一个文件比常规的单体系结构的二进制文件大。 

利用胖的二进制结构的操作系统软件是不常见的;有几种方法来解决同样的问题，如使用一个安装程序，选择一个特定平台在安装时，以源代码形式分发软件，在操作的系统编译，或者使用虚拟机（如通过java），并仅在时间编译。

破解步骤

购买后，接着就是破解了。随着ios设备cpu 的不同（arm 6 还是arm 7），mach－o文件格式的不同（thin binary 还是fat binary），应用是否对破解有防御措施（检测是否越狱，检测应用文件系统的变化），破解步骤也有所不同，但核心步骤如下：

整个ipa破解历史上，代表性的工具如下：

代表工具：crackulous（gui工具）（来自hackulous）

crackulous最初版本由saladfork编写，是基于decryptapp shell脚本的，后来crackulous的源码泄露，saladfork放弃维护，由docmorelli接手，创建了基于clutch工具的最近版本。

代表工具：clutch（命令行工具）（来自hackulous）

由dissident编写，clutch从发布到现在，是最快的破解工具。clutch工具支持绕过aslr（apple在ios 4.3中加入aslr机制）保护和支持fat binaries，基于icefire的icecrack工具，objective－c编写。

代表工具：poedcrackmod（命令行工具）（来自hackulous）

由rastignac编写，基于poedcrack，是第一个支持破解fat binaries的工具。shell编写

代表工具：cracktm（命令行工具）（来自hackulous）

由madhouse编写，最后版本为3.1.2，据说初版在破解速度上就快过poedcrack。shell编写

（以下是bash脚本工具的发展历史（脚本名（作者）），虽然目前都已废弃，但都是目前好用的ipa 破解工具的基础。

autop(flox)——>xcrack(saladfork)——>decryptapp(uncon)——>decrypt(floydianslip)——>poedcrack（poedgirl）——>cracktm(madhouse)

代表工具：cracknshare （gui工具）（来自appcake）

基于poedcrackmod 和 cracktm

我们可以通过分析这些工具的行为，原理及产生的结果来启发防御的方法。

像appsync这种去掉设备签名检查的问题还是留给apple公司来解决（属于ios系统层的安全），对于app开发则需要重点关注，app是如何被解密的（属于ios应用层的安全）。

名词

意义 

备注 

metadata

用于描述要素、数据集或数据集系列的内容、覆盖范围、质量、管理方式、数据的所有者、数据的提供方式等有关的信息。 元数据被定义为：描述数据及其环境的数据

元数据以非特定语言的方式描述在代码中定义的每一类型和成员。存储以下信息：

1，程序集的说明。

2，标识（名称、版本、区域性、公钥）。

3，导出的类型。

4，该程序集所依赖的其他程序集。

5，运行所需的安全权限。

6，类型的说明。

7，名称、可见性、基类和实现的接口。

8，成员（方法、字段、属性、事件、嵌套的类型）。

9，属性。

10，修饰类型和成员的其他说明性元素。

参考：http://www.freebuf.com/articles/wireless/6068.html