Does code analysis prevent bugs?
lgtm.com