Finding inter-procedural bugs at scale with Infer static analyzercode.facebook.com5 pointsdarwhy9 years ago