Building Program Analyzers for Developers

Explore the challenges and considerations in building program analysis ecosystems for developers in this 43-minute seminar by Maria Christakis. Delve into the decision-making process for designing and using program analyzers in large software companies, such as Google's Tricorder and Microsoft's CloudBuild. Learn about the factors influencing analyzer selection, including speed, types of detected code issues, and false positive rates. Discover insights from a multi-method empirical investigation at Microsoft and gain valuable perspective from an experienced program analysis designer. Understand how to effectively integrate program analyzers into the development process, report results, and address the challenge of conflicting analyzer outputs. Gain knowledge about combining unsound static analysis with systematic testing to improve efficiency and coverage in software verification. Examine the potential of using dynamic test generation to prove memory safety in complex systems like the ANI Windows image parser.

PLSE Seminar Series Maria Christakis "Building Program Analyzers for Developers"