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