Bugram: bug detection with n-gram language models
A statistical semantic language model for source code