State of the Infer Platform
summary
A production-grade static analysis platform that uses on-demand summaries to analyze only reachable code and reanalyzes functions when callers supply concrete values; function pointers are treated as unknown then specialized later, recursive calls return an empty summary to avoid loops, and loops cap convergence (about 10,000 iterations). The AI framework supplies transfer/join/widen hooks; Pulse implements a path-splitting memory/value domain with an embedded SMT for linear arithmetic, under-approximation for high precision, and a DSL to build checks.
AI-written summary · about
chapters (6)
- 0:00Infer Platform intro
- 12:24On-demand analysis
- 19:36AI intraprocedural analysis
- 26:43Pulse abstract domain
- 38:02Platform future
- 49:06Q&A
related talks
25mStatic Resource Analysis at Scale
18mEnhancing Infer Compositional Analysis with Summary Specialization
01h 06mOn-The-Fly Verification via Incremental, Interactive Abstract Interpretation wi...
51mAI for the People
50mProgram Analysis
57mVariant analysis
13mTailor-Made Inference at Scale
22mInteractive Source-to-Source Optimizations Validated using Static Resource Analysis