Click here to view the English version.
MLTD(THE iDOLM@STER Million Live Theater Days,偶像大师百万演唱会剧场时光,俗称“麻辣土豆”)在6月28日(欧洲时间)正式上线了。在音频上,它使用的还是 CGSS 那一套 CRI Middleware 的技术,音频编码为 HCA。自然,这个 HCA 也是加密的,需要密钥解密。在昨天下午(欧洲时间,国内时间为6月30日凌晨),我成为了世界上第一个取得其密钥的人,然后这个密钥扩散到了日本和美国(似乎吧;我忘了triangle是在哪里的了)加拿大(感谢caimiao说明)的开发者手中。嗯,“第一个攻破”,这个感觉不错。上世纪六七十时代的先锋黑客们感受到的应该就是这种心情吧。
在这篇文章里,我就讲一下这次我是怎么取得密钥的。
一、背景
在 CGSS 版本3.0.3(后来撤回了,3.0.1不更新到此版本,直接跳到3.0.4)这个“小”更新中,Cygames 引入了重磅的功能:Unity 版本大更新,同时编译器后端换成了 IL2CPP。(semver:你在逗我吗!)前者不打紧,后者是要命了。原来修改方便的程序集,突然就成了原生动态库。稍微有点两边经验的人都知道,汇编的阅读和修改难度都比 CIL 高到不知哪里去了。原因包括优化跳转、(全局)堆访问(这是 CIL 不具备的)和紧缩的代码空间。CGSS 在3.0.3推出了这个更新,紧随其后发布的 MLTD 一上来就这么干了。嘛,这是手游界的趋势,IL2CPP 运行效率更高,查看和修改更困难,同时不需要修改源代码,有源代码的那一方不会有额外的麻烦,对于开发公司来说有百利而无一害。为什么不用呢,对不。
还记得之前我们是怎么提取密钥的吗?对,加 Debug.Log()
的调用。而且写那篇文章的时候我只知道 ILSpy,所以才要用到底层的 CIL 修改;后来我知道了 dnSpy,借助 Roslyn,修改的时候直接写 C# 代码就可以,门槛一下子就没有了。门槛没有了,方便的还是修改器的制作者,所以 CGSS 的外挂会那么猖獗——懂一点 C#,用个 dnSpy 都可以改。所以你看,滤网口太宽,有些渣渣就混进来了。在 IL2CPP 应用之后,哀鸿遍野,里面许多人就是这个表情:
所以说,作弊有意思吗?没有。
现在问题来了,加 Debug.Log()
这条路,因为机器码的紧凑而基本上被堵死了。该怎么办?
二、思路
思路这东西是最重要的,它是经验的结晶,同时又是迈向下一个高峰的路。我能第一个提取出密钥,我认为有三个条件:
- 内在的技术理论体系;
- 敢开脑洞;
- 开完脑洞要有能力将其实现。
听起来好像是自恋的人在自吹……算了不吐槽这个。讲正题。
2.1 抽象部分
或许你会说,密钥,会不会嵌入在代码中呢?答案是,不会。我之前也有这样的疑问:为什么代码中明明没设置 enableAtomDecryption
,解密却能正常进行呢?后来结合一点点 Unity 的知识、ADX2LE SDK 中的示例工程和代码中提示了的结构,在原工程中,一定存在着一个 GameObject
。这个 GameObject
上附加的是控制逻辑(由此 Atom 之类的组件能随着游戏每帧正常更新)和设置信息。也就是说,那几个选项是附加在这个对象上的,在游戏初始化的时候随着 Unity 加载场景而自动反序列化字段,设置对应值。所以插件代码中不会出现这些值的设置逻辑。
既然 Debug.Log()
不行了,那就找其他的日志记录方式嘛。不管是哪一种方法,核心的原理都是拦截对 criWareUnity_SetDecryptionKey
这个 API 的调用,从而得到密钥。当然,前提也是 libcri_ware_unity
内部不会对这个值进行二次加/解密。
方法呢,按照修改的部分,分为三种:
- 修改主程序(
libil2cpp.so
); - 修改音频库(
libcri_ware_unity.so
); - 不在任何一边。
按照修改的手段,分为三种:
- 替换指令;
- 插入指令;
- 其他。
明眼人应该一眼就知道哪些组合是走不通的。不是真的走不通,而是工程上绝对的不划算。
最后剩下了一个方案,选项3×选项3。可以吗?可以!
得到的结果是什么呢?中间人攻击在动态库加载上的应用。
方法不算太偏门。而且,只要没有二次加/解密和动态库完整性校验,就是畅通无阻的。工程量和 API 数量、参数复杂度成正比,libcri_ware_unity.so
相对简单,所以可以手工写。更复杂的话我觉得可以借助 IDA 脚本来生成。(待学)
2.2 细节
我们已知,在游戏运行时会加载 libcri_ware_unity.so
这个动态库。是怎么加载的呢?是通过名称找到的。这个名称指定在 DllImport
特性(attribute)中,是编译后不可变的。那么,我们只要伪造一个 libcri_ware_unity.so
,在我们自己的库中暴露原有的 API,对这些接口的调用则转接到真正的动态库上。然后在对应的 criWareUnity_SetDecryptionKey()
中插入自己的日志代码,记录密钥,就可以了。
流程图如下:
为什么不用代码注入呢?嗯……要注入的是一个 ARMv7a 下的动态库(因为工具限制,见下文),我不会。╮(╯▽╰)╭好像也没有自动化工具来做这事儿吧。(要是谁知道请告诉我,谢谢!)
三、修改流程
虽然思路有了,但是实际的操作过程仍然是很麻烦的。下面我慢慢讲解。
3.1 验证导入表
我有个担心,libil2cpp.so
既然是原生库,那么其 P/Invoke 就有可能添加导入表信息。我们可能需要修改导入表,让其加载的是我们自己的动态库而不是真正的那个。不过这个担心是完全不必要的:
admin@MACHINE:/mnt/c/Users/admin/Desktop/mltd/v106$ readelf -d libil2cpp.so
Dynamic section at offset 0x21c3df4 contains 23 entries:
标记 类型 名称/值
0x00000001 (NEEDED) 共享库:[libstdc++.so]
0x00000001 (NEEDED) 共享库:[libm.so]
0x00000001 (NEEDED) 共享库:[libdl.so]
0x00000001 (NEEDED) 共享库:[libc.so]
0x0000000e (SONAME) Library soname: [libil2cpp.so]
...
(赞美 WSL!)
可以看到,它的导入表中的依赖项并没有发生变化,所以我们就不用改了。
不过正好,来都来了,我们就来看看其中的 P/Invoke 长什么样子吧。
说到 P/Invoke,Unity 的博客上是对此有一些讲解的。其实稍微了解点 Unix 系统就会知道,这样的特性,是离不开 dlopen()
的。好,我们就以 dlopen
这个符号为切入点,看看能挖到什么。打开 IDA,在导出符号中选择 dlopen
,用 Xref 菜单项(键盘 x
键)跳转几次,就会发现我们的目标函数,位于 01C2A218h
。从它的调用规范和后面的逻辑来看,原型是这样的:
int32_t call_lib_function(LPCSTR name);
在这个函数上继续 Xref,展现出了一大片的调用者。中大奖了!
举个例子感受一下:
.text:0152BF9C CriFsUtility$$criFsUnity_SetProxyServer ; CODE XREF: CriFsUtility$$SetProxyServer+90p
.text:0152BF9C ; DATA XREF: .data.rel.ro:021751C4o
.text:0152BF9C STMFD SP!, {R4-R7,R11,LR}
.text:0152BFA0 ADD R11, SP, #0x10
.text:0152BFA4 SUB SP, SP, #0x20
.text:0152BFA8 LDR R0, =(_GLOBAL_OFFSET_TABLE_ - 0x152BFC0)
.text:0152BFAC MOV R4, R2
.text:0152BFB0 LDR R6, =0xD8924
.text:0152BFB4 MOV R5, R1
.text:0152BFB8 ADD R0, PC, R0 ; _GLOBAL_OFFSET_TABLE_
.text:0152BFBC ADD R0, R6, R0
.text:0152BFC0 LDR R0, [R0,#(dword_229C954 - 0x229C7F0)]
.text:0152BFC4 CMP R0, #0
.text:0152BFC8 BNE loc_152C030
.text:0152BFCC LDR R0, =(_GLOBAL_OFFSET_TABLE_ - 0x152BFDC)
.text:0152BFD0 LDR R1, =0xFFBD9A3E
.text:0152BFD4 ADD R0, PC, R0 ; _GLOBAL_OFFSET_TABLE_
.text:0152BFD8 LDR R2, =0xFFBDA143
.text:0152BFDC ADD R1, R1, R0
.text:0152BFE0 STR R1, [SP]
.text:0152BFE4 MOV R1, #0xE
.text:0152BFE8 ADD R7, R6, R0
.text:0152BFEC STR R1, [SP,#4]
.text:0152BFF0 ADD R1, R2, R0
.text:0152BFF4 STR R1, [SP,#8]
.text:0152BFF8 MOV R1, #0x19
.text:0152BFFC STR R1, [SP,#0xC]
.text:0152C000 MOV R1, #0
.text:0152C004 MOV R2, #1
.text:0152C008 STR R1, [SP,#0x10]
.text:0152C00C STR R2, [SP,#0x14]
.text:0152C010 MOV R2, #8
.text:0152C014 MOV R0, SP
.text:0152C018 STR R2, [SP,#0x18]
.text:0152C01C STRB R1, [SP,#0x1C]
.text:0152C020 BL call_lib_function
.text:0152C024 STR R0, [R7,#(dword_229C954 - 0x229C7F0)]
.text:0152C028 CMP R0, #0
.text:0152C02C BEQ loc_152C074
(问:为什么你能看到部分的名称呢?答:自然是这个啦!不过它只能用于 ARM 部分,不能用于其他架构。)
注意这是 ARM 汇编,BL
指令相当于 X86 汇编的 CALL
指令。每个 P/Invoke 函数都有类似的桩(stub),而 call_lib_function()
中有一个完整的 dlopen()
-dlsym()
-dlclose()
操作,这样就可以放心下结论了:加载动态库是每次 P/Invoke 时进行的,是一个动态过程。导入表真的不用管了。
3.2 编写代理库
这一步难度不大,就是个体力活。
由于要代理的是 libcri_ware_unity.so
,就要知道它的 API。嘛,只看着 IDA 来的话,数量众多的函数会吓到人的。于是我打开2.9.0的程序集,根据里面的声明抄了一份。
声明:
CA(uint32_t) criAtomUnity_Initialize();
实现:
uint32_t criAtomUnity_Initialize() {
CR(criAtomUnity_Initialize);
return 0;
}
CR
宏的定义:
#define CR(method, ...) \
do { \
try_load_lib(__func__); \
DEBUG_LOG("Function call: %s", __func__); \
if (CW_API_OBJECT_NAME . method) { \
return CW_API_OBJECT_NAME . method(__VA_ARGS__); \
} \
} while (false)
这里面有几个 C++ 的技巧,就不细讲了。可以参考源代码来理解。
底层的调用其实就是每个函数通过 dlsym()
得到地址,然后调用。初始化参考 hacklib.cpp
中的 r
宏。
为什么每次都要有个 try_load_lib()
呢?因为我必须在第一次调用时加载动态库,并初始化代理。而我并不能保证一开始被调用的是哪个函数,所以每次都有初始化的流程。当然是有缓存的。而 DEBUG_LOG
宏的作用是调试,因为 MLTD 所使用的 libcri_ware_unity.so
版本比 CGSS 的2.9.0要新,在调用过程中可能会有错误,造成程序崩溃。因此打印最后调用的函数名,可以让我猜测是哪个函数出的问题,然后结合 IDA 进行修正。(实际过程中,必须尽快结束进程,否则会被 criWareUnity_GetFirstError()
给刷屏。)都是血与泪的经验。
调试过程也是挺艰苦的,从一开始直接崩溃(其实是我一个解引用写错了),到开始有输出,到最后获得想要的东西,其中的酸甜苦辣得亲身体验才能知晓。有些函数还真的是发生了变化,或者添加了新的函数,这些就要看着 IDA 来改了。
如果你阅读一下源代码,并和 IDA 与 P/Invoke 的版本做个比较,可能会发现这样一个问题:有些函数的声明返回类型不一致。就拿上面的 criAtomUnity_Initialize()
函数来说,它在 P/Invoke 中的返回类型是 void
。这个有影响吗?全以 P/Invoke 为标准的话,是没有问题的;P/Invoke 要 void
实际返回一个32位整数也是没问题的。因为 Android 使用的是 cdecl 调用标准,调用者清理栈;而函数的返回值,如果是32位以内,是通过 R0
传递的(注意我们讨论的是 ARM,X86 中是 EAX
)。P/Invoke 声明 void
,实际上就是不管 R0
的值的意思。所以我们这边返回还是不返回 R0
,都没有影响。不过要是 P/Invoke 需要返回值,那就得按照它那个来。
3.3 打包
打包这一步以前也讲过了,不再赘述。
3.4 调试和收集输出
开始我还用的是 adb logcat
,不过不久之后我就发现 Android Studio 的 Android Monitor 明显更好用。总之,设置合适的过滤器,等着就行了。要注意的是 Unity 的消息(如找不到入口点,需要补充)和我们自己的库的消息。要是程序在某处抛出异常了,根据最后调用记录去找,并修改为合适的定义。
四、结果
结果输出,各位感受一下:
06-29 19:35:25.846 28259-28287/? I/fakecri: CriWare hack: loaded.
06-29 19:35:25.853 28259-28287/? I/fakecri: On load: lib handle = 0xae6ae004
06-29 19:35:25.853 28259-28287/? I/fakecri: Resolving symbol JNI_OnLoad ...
06-29 19:35:25.853 28259-28287/? I/fakecri: Resolved symbol JNI_OnLoad: address = 0x939bf601
06-29 19:35:25.853 28259-28287/? I/fakecri: Resolving symbol JNI_OnUnload ...
06-29 19:35:25.853 28259-28287/? I/fakecri: Resolved symbol JNI_OnUnload: address = 0x0
06-29 19:35:25.853 28259-28287/? I/fakecri: Resolving symbol criAtomUnity_SetConfigParameters ...
06-29 19:35:25.853 28259-28287/? I/fakecri: Resolved symbol criAtomUnity_SetConfigParameters: address = 0x939bf681
06-29 19:35:25.853 28259-28287/? I/fakecri: Resolving symbol criAtomUnity_SetConfigAdditionalParameters_IOS ...
06-29 19:35:25.853 28259-28287/? I/fakecri: Resolved symbol criAtomUnity_SetConfigAdditionalParameters_IOS: address = 0x939bf6fd
06-29 19:35:25.853 28259-28287/? I/fakecri: Resolving symbol criAtomUnity_SetConfigAdditionalParameters_ANDROID ...
06-29 19:35:25.853 28259-28287/? I/fakecri: Resolved symbol criAtomUnity_SetConfigAdditionalParameters_ANDROID: address = 0x939bf701
...
06-29 19:35:25.866 28259-28287/? I/fakecri: Function call: criWareUnity_GetVersionNumber
06-29 19:35:25.867 28259-28287/? I/fakecri: Function call: criFsUnity_SetConfigParameters
06-29 19:35:25.867 28259-28287/? I/fakecri: Function call: criFsUnity_SetConfigAdditionalParameters_ANDROID
06-29 19:35:25.867 28259-28287/? I/fakecri: Function call: criFsUnity_Initialize
06-29 19:35:25.877 28259-28287/? I/fakecri: Function call: criAtomUnity_SetConfigParameters
06-29 19:35:25.878 28259-28287/? I/fakecri: Function call: criAtomUnity_SetConfigAdditionalParameters_PC
06-29 19:35:25.879 28259-28287/? I/fakecri: Function call: criAtomUnity_SetConfigAdditionalParameters_IOS
06-29 19:35:25.896 28259-28287/? I/fakecri: Function call: criAtomUnity_SetConfigAdditionalParameters_ANDROID
06-29 19:35:25.896 28259-28287/? I/fakecri: Function call: criAtomUnity_Initialize
06-29 19:35:25.908 28259-28287/? I/fakecri: Function call: criAtomEx3dListener_Create
06-29 19:35:25.909 28259-28287/? I/fakecri: Function call: criWareUnity_SetRenderingEventOffsetForMana
06-29 19:35:25.909 28259-28287/? I/fakecri: Function call: criManaUnity_SetConfigParameters
06-29 19:35:25.912 28259-28287/? I/fakecri: Function call: criManaUnity_SetConfigAdditionalParameters_ANDROID
06-29 19:35:25.912 28259-28287/? I/fakecri: Function call: criManaUnity_Initialize
06-29 19:35:25.921 28259-28287/? I/fakecri: Intercepted decryption key: (嗯)
06-29 19:35:25.936 28259-28287/? I/fakecri: Function call: criWareUnity_Initialize
06-29 19:35:25.937 28259-28287/? I/fakecri: Function call: criWareUnity_SetForceCrashFlagOnError
...
虽然最后还是崩溃了(接下来就是 criWareUnity_GetFirstError
大军),但是我已经得到了想要的东西。撤退!
密钥是一个挺有意思的数字。当我把密钥给开发群里的人看的时候,他们都笑出了声。
后记:
CGSS 3.0.4 已经有了自动全p的挂了。原因是改这一项只需要改一个数字,能在汇编的限制下进行。
听说 MLTD 在某宝上已经有刷初始的工具了。啧啧啧,高效率啊,你们。