Enhancing Infer Compositional Analysis with Summary Specialization

This video presentation from the Theory and Practice of Static Analysis workshop (TPSA'25) features David Pichardie from Meta discussing a new technique called Summary Specialization for enhancing Infer's compositional analysis capabilities. Learn how this approach improves the industrial static analyzer's ability to perform interprocedural analysis by relaxing constraints on call site assumptions without requiring a full global analysis. The 18-minute talk explores how Summary Specialization strikes a balance between compositional reasoning and contextual awareness, with experimental evaluation focused specifically on closure resolution. The presentation was delivered at the ACM SIGPLAN-sponsored TPSA workshop on January 21, 2025.