Slide 1 Scalable Defect Detection Manuvir Das, Zhe Yang, Daniel Wang Center for Software Excellence Microsoft Corporation Slide 2 Part III Lightweight Specifications for…