Facebook Infer: Advanced static analysis at speed and scale

Dulma Churchill and Jules Villard describe the Infer Static Analyzer tool, which helps Facebook quickly catch and fix complex bugs before code gets committed, and reveal a domain-specific language for writing simple static analysis checks.

To help personalize content, tailor and measure ads, and provide a safer experience, we use cookies. By clicking or navigating the site, you agree to allow our collection of information on and off Facebook through cookies. Learn more, including about available controls: Cookies Policy