Program Analysis For Machine Learning Models