type checker
A tool that verifies the shapes of your data line up before the code runs. Catches a whole class of confident-looking generated code that could never have worked.
dev
also: static analysis
Nobody says this one in the transcripts we have yet.