This page will be actively maintained as a little survey. Any work that solves programming language problems with machine learning techniques counts.
User-Guided Program Reasoning using Bayesian Inference: static analysis based bug checker + Bayesian inference.
Active Learning of Points-To Specifications: point to analysis + active learning.
This work is neither sound nor precise. I am horrified by the prospect of having an unsound point-to analysis, but the author rightly points to some justifications.