Finding inter-procedural bugs at scale with Infer static analyzer

This post details the development and application of the Infer static analyzer, highlighting its ability to find inter-procedural bugs in large codebases (Java and C) that other tools miss. It showcases Infer's effectiveness with examples from DuckDuckGo and OpenSSL, demonstrating its impact on improving code quality and reliability by identifying thousands of bugs in Meta's internal code.