文章摘要
该工具可对30年前的Sierra冒险游戏进行静态分析，自动发现并修复游戏中的软锁问题（即玩家仍可操作但无法通关的状态）。它通过反编译、抽象解释和守卫编译，无需针对特定游戏编写代码，已在四款游戏中验证有效。
文章总结
好的，这是根据您的要求，对原文主要内容进行的中文重述，保留了关键细节，并删减了与核心主题无关的内容（如安装步骤、文件布局等）：
项目名称： LucasArtsifier - Sierra游戏软锁分析器
核心功能： 这是一个针对30年前Sierra冒险游戏的静态分析工具。它能自动反编译Sierra SCI游戏，通过抽象解释分析游戏脚本，构建出包含房间转移、物品移动和剧情标志变化的守卫图。工具的核心是自动发现游戏中的“软锁”状态——即游戏仍在运行、接受玩家输入，但玩家实际上已无法达成胜利条件的状态。随后，该工具会推导、验证并生成防止这些软锁的“守卫”补丁，并将其安装到游戏中。
与LucasArts游戏不同，Sierra游戏常让玩家陷入死局。 例如，在《Leisure Suit Larry 2》中，如果忘记带防晒霜就登上邮轮，几天后玩家会在救生筏上死去且无法回头。该工具能自动发现这些陷阱，并在玩家做出致命行动前的最后一刻阻止它。
已分析与测试的游戏： 该工具已成功应用于四款游戏，覆盖了引擎的两个主要时代（SCI0和SCI1.1），且无需为每款游戏编写特定的分析代码： * 《Leisure Suit Larry 2》（1988, SCI0） * 《King's Quest IV》（1988, SCI0） * 《King's Quest VI》（1992, SCI1.1） * 《Laura Bow 2》（1992, SCI1.1）
工作原理简述： 1. 反编译： 将游戏二进制文件反编译为类型化的控制流AST（抽象语法树）。 2. 抽象解释： 分析AST，构建一个包含守卫移动边、物品获取/丢失、寄存器写入的游戏图。 3. 图压缩： 将图压缩为强连通分量（玩家可自由探索的区域），只关注可能导致玩家被困的单向边。 4. 发现死局： 找出那些在通过某个单向边前可获得，通过后却无法再获得，且后续通关必需的物品。 5. 推导守卫： 从胜利区域推导出守卫条件，并将其放置在玩家仍能做出补救的最后时刻。例如，如果携带某物品进入特定房间会导致死亡，守卫会阻止玩家在仍持有该物品时进入，并允许玩家在进入前丢弃它。 6. 重新编译与输出： 将修改后的脚本重新编译成Sierra的松散补丁格式。补丁机制是Sierra官方曾用于发布修复补丁的方式，不会修改原始游戏文件，删除补丁文件即可还原。
关键特性： * 全自动： 无需手动声明任何游戏信息（如起始房间、胜利房间、死亡信号等），工具会从游戏代码中自动推导。 * 守卫验证： 工具会重新验证添加守卫后的游戏模型，确保新守卫不会引入新的软锁。如果验证失败，工具拒绝输出任何补丁。 * 可配置守卫行为： 玩家可以在游戏中设置守卫模式：“完全”阻止所有危险行动；“轻度”首次阻止，之后允许并给出警告；“关闭”则关闭所有守卫。 * 区分“软锁”与“可避免的死亡”： 工具只修复那些玩家无法挽回的“软锁”。对于玩家在当前状态下仍可避免的死亡（如《Leisure Suit Larry 2》中未完全伪装就走上KGB海滩），工具会保留，因为这被视为游戏提示玩家所需行动的方式。
未来工作： * 建模“必需的行动”（如《King's Quest V》中必须扔鞋救老鼠）。 * 解决《Quest For Glory》系列游戏因状态过多导致的分析爆炸问题。 * 支持更多游戏引擎（如AGI）。 * 进行完整的端到端游戏测试。
许可：
项目主体采用MIT许可，但tools/scicompile/目录因包含修改后的SCICompanion源代码，采用GPL-2.0-or-later许可。
评论总结
根据评论内容，主要围绕Sierra经典冒险游戏中的“软锁定”（softlock）设计缺陷展开讨论，观点如下：
1. 对软锁定问题的批评（主流观点） - 评论2指出：“I remember using a single save game and soft locking myself in Space Quest 2... being so pissed off about having to replay.”（因未拿关键道具导致游戏无法继续，被迫重玩） - 评论11强调：“Games used to often be brutally unforgiving... you were actually walking-dead for that period.”（游戏设计残酷，玩家可能在不知情下陷入死局）
2. 对修复工作的赞赏 - 评论1称赞：“Nice job! I actually wrote a blog article about my love/hate relationship with KQ4...”（肯定修复工作，并提及自己曾撰文批评类似问题） - 评论6建议：“Would you provide the changes as patches like they do for romhacks?”（希望以补丁形式分享修复，提升游戏体验）
3. 对设计缺陷的反思 - 评论7引用“Cruelty Scale”标准：“how far the game lets you go after making a get-stuck choice before you realize you're stuck”（衡量游戏在玩家陷入死局前的提示程度） - 评论12持不同观点：“Years later, I appreciated the ability to get stuck... makes each decision more important.”（认为软锁定增加了决策的重要性）
4. 技术细节讨论 - 评论8询问：“Room art and obstacle polygons are read too... Anyone got an example?”（探讨修复中涉及的地图几何数据读取） - 评论10举例：“In Kings Quest 6 you can meet a guy early on... alternate ending which sounds better”（指出非关键但影响结局的隐藏设计）
5. 对AI修复的复杂感受 - 评论4表达矛盾：“I would have so preferred to remain impressed... sometimes I really hate what AI is taking from us”（对AI参与修复既欣赏又遗憾）