lucasartsifier

Static analysis for Sierra adventure games: finds softlocks by abstract interpretation of decompiled SCI scripts, derives and verifies guards, recompiles them into the game

9 047 HN points

NOASSERTION

last commit 2026-08-19

abstract-interpretation adventure-games program-analysis retrogaming reverse-engineering sci scummvm sierra static-analysis

Source

About

Static analysis for Sierra adventure games: finds softlocks by abstract interpretation of decompiled SCI scripts, derives and verifies guards, recompiles them into the game