Using static analysis, it finds bugs and performance issues, offers simplifications, and enforces style rules.