Static analysis

## What it means

Checking code for problems by reading it with automated tools, without running it. Linting and type checking are two common kinds.