Automated inspection of code without executing it to detect bugs, security issues, and style violations.