YoVDO

Incremental Analysis in Infer

Offered By: ACM SIGPLAN via YouTube

Tags

Static Analysis Courses Software Development Courses Software Engineering Courses Scalability Courses

Course Description

Overview

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

Syllabus

[INFER'23] Incremental Analysis in Infer


Taught by

ACM SIGPLAN

Related Courses

Software as a Service
University of California, Berkeley via Coursera Software Testing
University of Utah via Udacity The Hardware/Software Interface
University of Washington via Coursera Software Debugging
Saarland University via Udacity Introduction to Systematic Program Design - Part 1
The University of British Columbia via Coursera