Static analyzers are automated tools that spot bugs in source code by scanningprograms without running them. They complement traditional dynamic testing:Where testing allows individual runs through a piece of software to be checkedfor correctness, static analysis allows multiple and sometimes even all flowsto be checked at once. Infer is an open-source static analyzer that is usedinternally at Facebook to analyze the main apps for Android and iOS, FacebookMessenger, and WhatsApp, among others. Infer reports bugs responsible for appcrashes and performance issues, such as accessing null pointers, and leakingresources such as Context instances. Each month, hundreds of potential bugs identified by Infer are fixed by ourdevelopers before they are committed to our codebases and deployed to people'sphones. This talk will present Infer and show how it can be integrated as part of thedevelopment workflow.