HackerGit Trending Discord Star

katiahayati/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

161 best points · 97 comments · 1 Hacker News post · 51 GitHub stars · View on GitHub

Hacker News discussions