A few billion lines of code later: using static analysis to find real world bugs | Hacker News Reader