Finding inter-procedural bugs at scale with Infer static analyzer | Hacker News Reader