[PPT] - Summary-based inter-unit analysis for Clang Static Analyzer Aleksei PowerPoint Presentation