LucasArtsifier - Static analysis for Sierra adventure games
Show HN: Automatically detect and patch walking-dead states in Sierra games
LucasArtsifier는 30년 된 Sierra 어드벤처 게임의 소프트락(softlock)을 자동으로 탐지하고 패치하는 정적 분석 도구입니다. 게임의 SCI 스크립트를 디컴파일하고 추상 해석(abstract interpretation)을 통해 게임 그래프를 구성하여, 플레이어가 더 이상 승리할 수 없는 상태를 찾아냅니다. 그런 다음, 그러한 상태를 방지하는 가드(guard)를 자동으로 생성하고 검증하여 게임에 패치합니다. 이 도구는 게임별 설정 없이도 시작 방, 승리 조건, 죽음 신호 등을 코드에서 자동으로 발견합니다. 현재 Leisure Suit Larry 2, King's Quest IV, King's Quest VI, Laura Bow 2 등 4개 게임에서 테스트되었으며, 패치는 원본 게임 파일을 수정하지 않고 Sierra의 느슨한 패치 형식으로 적용되어 쉽게 되돌릴 수 있습니다.
Sierra 게임은 LucasArts 게임과 달리 막다른 상태에 빠질 수 있습니다. 선크림을 잊고 크루즈선에 탑승하면, 며칠 후 뗏목 위에서 돌아갈 방법 없이 죽게 됩니다. 이 도구는 이러한 함정을 자동으로 찾아내고, 마지막 순간에 플레이어가 여전히 대응할 수 있는 지점에서 이를 차단합니다.