UndertaleModTool 中GML反编译的"Stack empty"错误分析与解决方案

UndertaleModTool 中GML反编译的"Stack empty"错误分析与解决方案

UndertaleModTool The most complete tool for modding, decompiling and unpacking Undertale (and other Game Maker: Studio games!) 项目地址: https://gitcode.com/gh_mirrors/und/UndertaleModTool

问题概述

在游戏模组开发工具UndertaleModTool的最新版本0.6.1.0中，用户在处理Zero Sievert游戏(版本0.52.07)的GML脚本反编译时，遇到了"System.InvalidOperationException: Stack empty"错误。该错误影响了约11%的脚本文件(304/2584)，导致反编译过程中断并生成不完整的代码。

错误现象

错误主要表现为两种警告信息：

1. "Recursive script decompilation (for member variable name resolution) failed for..."
2. "Recursive script decompilation (for asset type resolution) failed for..."

从堆栈跟踪可以看出，错误发生在反编译器的核心逻辑中，当尝试从空栈中弹出元素时触发了异常。这种情况在尝试解析成员变量名称和资产类型时尤为常见。

技术背景

UndertaleModTool的反编译器采用了一种基于控制流图(CFG)的分析方法，通过构建基本块(Block)和跟踪执行路径来重构高级GML代码。在这个过程中：

1. 反编译器会维护一个工作栈(workQueue)来管理待处理的基本块
2. 使用递归方法解析脚本间的调用关系
3. 当遇到静态变量或复杂对象成员访问时，会触发额外的解析过程

"Stack empty"错误表明在这种递归解析过程中，工作栈被意外清空，而反编译器仍尝试从中获取数据。

问题根源

经过分析，这个问题可能与以下因素有关：

1. 静态变量处理：新版游戏可能增加了对静态变量的使用，而反编译器对此支持不足
2. 控制流复杂性：某些脚本的控制流结构可能过于复杂，导致反编译器无法正确跟踪执行路径
3. 递归深度限制：在解析跨脚本引用时可能超过了预期的递归深度
4. 版本兼容性：游戏使用的GameMaker Runtime版本与反编译器支持的特性存在差异

值得注意的是，在UndertaleModTool的早期版本0.5.0.0中处理旧版游戏(0.28.03)时并未出现此问题，这表明问题可能与新版游戏引入的语法特性或编译器优化有关。

解决方案

目前社区已经提出了几种可行的解决方案：

1. 使用非官方构建版本：开发者社区已经提交了修复该问题的补丁，可以通过获取非官方构建版本来解决
2. 降级工具版本：对于不依赖新版特性的项目，可以考虑使用0.5.0.0等早期稳定版本
3. 手动修复脚本：对于受影响的脚本，可以尝试手动重构或使用其他反编译工具辅助

最佳实践建议

对于遇到类似问题的开发者，建议采取以下步骤：

1. 首先确认问题是否特定于某些脚本类型或模式
2. 尝试隔离问题，确定最小复现条件
3. 考虑使用版本控制工具管理不同版本的反编译结果
4. 关注社区动态，及时获取官方修复信息
5. 对于关键脚本，可考虑结合多种反编译工具交叉验证结果

总结

UndertaleModTool作为GameMaker游戏的反编译工具，在处理复杂项目时可能会遇到各种边界情况。"Stack empty"错误反映了工具在控制流分析和递归解析方面的局限性。随着GameMaker引擎的更新和游戏复杂度的提高，反编译器也需要持续演进以适应新的挑战。开发者在使用时应保持工具更新，同时理解其局限性，在必要时寻求社区支持或采用替代方案。

UndertaleModTool The most complete tool for modding, decompiling and unpacking Undertale (and other Game Maker: Studio games!) 项目地址: https://gitcode.com/gh_mirrors/und/UndertaleModTool