Finding inter-procedural bugs at scale with Infer static analyzer

Inter-procedural analysis can be deployed to large and rapidly changing codebases that consist of millions of lines of code and undergo thousands of modifications per day.

Click to view the original at code.facebook.com