Machine Learning and Program Analysis