Incremental Analysis in Infer

Explore the evolution and advancements in Infer's incremental analysis infrastructure in this 48-minute conference talk from ACM SIGPLAN. Delve into the challenges faced in implementing efficient incremental analysis for large-scale codebases, including determining affected procedures, caching and delivering summaries, and maintaining precision. Learn about recent improvements addressing these technical hurdles and gain insights into future developments aimed at providing faster Infer analysis results during the development process. Discover how Infer's compositional design contributes to its scalability and quick analysis capabilities for massive programs and code changes.

[INFER'23] Incremental Analysis in Infer