Predicting Program Properties from "Big Code"