Incremental Analysis in Infer
Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only! Grab it 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.