Bugram: bug detection with n-gram language models | Synapse