Current State of the Industrial-Strength Infer Static Analysis Platform
summary
Infer is an industrial static analyzer with 15+ years of production use, running daily in CI against thousands of developers and 10+ million LOC with hundreds of changes per day. It compiles many languages to a single textual IR (2022), uses compositional interprocedural summaries with on‑demand summary specialization (2023) to handle virtual/closure calls, and a new pulse domain (replacing biabduction) that uses an incremental SMT fragment for memory and path‑sensitive bug finding. It prioritizes precision, reporting 50–80% fix rates in practice and scales from IDE checks to hours‑long full runs.
AI-written summary · about
chapters (9)
- 0:00Infer introduction
- 3:53Foundational research
- 9:24Common intermediate representation
- 21:30Static analysis framework
- 39:48Compositional analysis
- 43:22Pulse domain for bugs
- 50:13False positives vs negatives
- 51:1915 years of Infer lessons
- 53:06Q&A
related talks
01h 00mSOAP - Keynote: Formal Reasoning and the Hacker Way
01h 06mOn-The-Fly Verification via Incremental, Interactive Abstract Interpretation wi...
42mContemporary Automatic Program Analysis
15mStatic Detection of Silent Misconfigurations with Deep Interaction Analysis
29mFinding real bugs in big programs with incorrectness logic
59mUnder-approximation for Scalable Bug Detection
21mAbstract Debuggers: Exploring Program Behaviors Using Static Analysis Results
42mSupercharge Your Performance with the Optimus Cirrus Platform