LucasArtsifier - Static analysis for Sierra adventure games
Show HN: Automatically detect and patch walking-dead states in Sierra games
LucasArtsifierは、30年前のSierraアドベンチャーゲームのソフトロック（進行不能状態）を自動検出し、パッチを適用する静的解析ツールです。ゲームのバイナリを逆コンパイルし、抽象解釈によってゲームの状態遷移グラフを構築。勝利条件に到達できなくなる「歩く死体」状態を特定し、それを防ぐガードを自動生成・検証・適用します。Leisure Suit Larry 2、King's Quest IV、King's Quest VI、Laura Bow 2の4作品で実証済みで、ゲーム固有のコード解析は一切不要。パッチはSierraの公式パッチ形式で出力され、オリジナルファイルを変更せずに適用・削除が可能です。
Sierraゲームは、LucasArtsのゲームとは異なり、プレイヤーが行き詰まることを許します。このツールは、そうした罠を自動的に見つけ出し、最後の瞬間にまだ従うことができる場所で、それを引き起こす横断をブロックします。