Finding inter-procedural bugs at scale with Infer static analyzer