1. 逆向工程基础：Unity游戏与ET框架解析

在移动游戏开发领域，Unity引擎因其跨平台特性和完善的工具链而占据主导地位。当游戏采用IL2CPP（Intermediate Language To C++）编译方式时，传统的.NET逆向方法将完全失效——这正是《梦回大唐》这类商业手游常用的保护手段。IL2CPP会将C#代码先编译为中间语言（IL），再转换为C++代码最后生成平台原生二进制，这使得逆向分析复杂度呈指数级上升。

ET框架作为基于ECS（Entity-Component-System）架构的服务端框架，其客户端部分常与Unity深度耦合。典型特征包括：

• 实体组件的内存布局采用连续数组存储
• 系统（System）通过特性标记实现自动注册
• 网络消息采用protobuf序列化
• 热更新层通过动态加载DLL实现逻辑分离

实战经验：IL2CPP生成的二进制文件通常位于游戏APK的lib/armeabi-v7a或lib/arm64-v8a目录下，文件名为libil2cpp.so，与之配套的global-metadata.dat文件包含关键的符号信息。

2. 逆向工具链搭建与环境准备

2.1 核心工具选型

• Il2CppDumper：破解global-metadata.dat与libil2cpp.so的黄金组合，最新v6.7.3版本已支持ARMv8指令集反编译
• IDA Pro 7.7：静态分析主工具，需配置Hex-Rays插件处理ARM伪代码
• Frida 15.2.2：动态注入框架，用于运行时方法Hook
• dnSpy 6.1.8：备用工具，处理未完全IL2CPP化的托管DLL

# Frida注入示例命令 frida -U -n com.game.dreamback -l script.js --runtime=v8

2.2 关键符号恢复

通过Il2CppDumper生成symbols.cs文件后，需特别注意：

1. 方法偏移量需加上libil2cpp.so的加载基址
2. 虚函数表重建需手动修正RTTI信息
3. 字符串检索应使用metadata/StringLiteral目录

踩坑记录：某次分析因忽略SO文件的PIE（位置无关）特性，直接使用静态偏移导致注入崩溃。正确做法应先读取/proc/ /maps获取模块基址。

3. DLL加载机制深度剖析

3.1 标准Unity加载流程

《梦回大唐》采用的混合加载模式包含：

// 伪代码还原后的核心逻辑 void LoadGameAssembly() { byte[] dllBytes = Decrypt(ReadStreamingAssets("game.dll")); Assembly assembly = Assembly.Load(dllBytes); MethodInfo entry = assembly.GetType("ET").GetMethod("Init"); entry.Invoke(null, new object[]{runtimeParams}); }

3.2 ET框架的改造点

逆向发现的关键修改：

1. 签名校验从MD5改为SHA-3 512
2. 增加JIT指令集白名单检测
3. 动态加载时强制验证时间戳证书
4. 关键方法调用栈深度校验

3.3 内存加载对抗技术

游戏采用的防护手段包括：

• 内存镜像多段CRC校验
• 关键API的SSDT Hook检测
• 线程上下文一致性检查
• 动态混淆指令解码器

4. 实战改造方案

4.1 DLL解包与修改

使用010 Editor处理加密DLL的步骤：

1. 定位0x200字节处的魔数0x7F4342A1
2. 使用TEA算法解密，密钥来自设备指纹哈希
3. 修改入口点为自定义Loader
4. 重计算PE文件的校验和

4.2 注入器开发要点

C++侧关键代码：

void* hijack_thread(void* arg) { auto il2cpp_runtime_invoke = (void*(*)(...))dlsym(RTLD_DEFAULT, "il2cpp_runtime_invoke"); Dl_info info; dladdr((void*)il2cpp_runtime_invoke, &info); LOGD("IL2CPP base: %p", info.dli_fbase); // 替换vtable第12项 void** vtable = *(void***)((char*)info.dli_fbase + 0xABC123); origin_func = vtable[12]; vtable[12] = my_func; return NULL; }

4.3 稳定性保障措施

必须实现的检测规避：

• 反调试：定期检查/proc/self/status的TracerPid
• 内存校验：Hook libc的memcmp函数
• 时序混淆：添加随机空循环消耗CPU周期
• 环境伪装：伪造GPU渲染器信息

5. 高级对抗与检测规避

5.1 指令级混淆破解

针对游戏采用的Control Flow Flattening技术，需：

1. 使用Capstone引擎反汇编关键区块
2. 重建switch-case原始结构
3. 识别状态变量与分发器
4. 还原基本块执行顺序

5.2 运行时完整性校验

游戏采用的校验策略包括：

• 代码段哈希对比
• 导入表函数地址验证
• 线程本地存储(TLS)回调检测
• 异常处理链遍历

对抗方案示例：

__attribute__((section(".my"))) void fake_check() { asm volatile("nop\nnop\nnop"); } // 在.init_array插入伪装函数 __attribute__((used, section(".init_array"))) static void* init_arr[] = { (void*)fake_check };

6. 商业化改造注意事项

6.1 功能扩展边界

法律允许范围内的改造方向：

• UI自定义皮肤加载
• 战斗数据可视化分析
• 本地化语言包替换
• 无障碍操作辅助

6.2 性能优化实践

实测有效的方案：

• 将高频调用方法改为C++插件
• 使用SIMD指令优化向量计算
• 对象池改造避免GC压力
• 合并DrawCall降低渲染开销

某次优化前后对比数据：

在完成核心流程改造后，建议通过Xposed模块实现非侵入式功能扩展，这种方式既能保持原版DLL的完整性，又可以通过RPC机制实现双向通信。实际开发中发现，使用mmap将修改后的DLL映射到原加载地址范围，可以绕过大部分内存校验机制，但需要注意保持PE头部的重要字段与原文件一致