How static analysis finds bugs without running your code — the spectrum from formatters and linters to type checkers and SAST security scanners, with examples o...