Static analysis plays a crucial role in improving software quality by automatically identifying potential bugs before deployment. We report on the current architecture of Infer, an industrial-strength static analysis tool developed for large-scale, production codebases. Infer employs a modular, compositional approach, leveraging separation logic and abstract interpretation to efficiently and accurately detect various classes of bugs, including null pointer dereferences, resource leaks, and memory safety issues. We detail several key features that have played a key role in the tool’s success and longevity.