Predicting Program Properties from "Big Code"
A Factor Graph Model for Software Bug Finding