Predicting Program Properties from 'Big Code'