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

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