Describir: Large-Scale Sound and Precise Program Analysis.