LucasArtsifier - Automatically detects and patches softlocks in Sierra adventure games

Show HN: Automatically detect and patch walking-dead states in Sierra games

LucasArtsifier is a static analysis tool that automatically finds and fixes softlocks in classic Sierra adventure games. It decompiles the game's scripts, performs abstract interpretation to build a graph of room transitions and item states, and identifies states where the game becomes unwinnable. The tool then derives guards, verifies they introduce no new softlocks, and recompiles them into the game as patches. It has been tested on four games from both major engine eras, with no game-specific code. The tool is open source and requires only Python, with external toolchains for decompilation and compilation.