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