Automatic detection of:
Common bug patterns
Confusing code that's likely to cause bugs
Bad practices
Violation of coding conventions
Syntax errors on steroids