If [static analysis] could have, why didn't it? | Dark Hacker News