A static analysis tool that checks code for errors, style issues, and potential bugs without executing it. Examples: Ruff, Flake8, ESLint. (Ch. 30)