Definition
Plain language
A program that inspects source code without running it to spot suspicious patterns.
As stated in the literature
A program-analysis tool that derives properties of code from its source or compiled form without execution; used in this corpus as a deterministic guard against reward-hacking patterns in synthesized reward scripts.
Also called: static analysis, static scanner
Why it matters: For AI-generated code that will be executed in critical loops, deterministic static checks are a cheap last line of defense against bizarre or hostile patterns.
For example, a static analyzer can warn that a generated reward script silently returns a constant high score regardless of input — without ever running it.
Heard on the show
“Ask it to write the test setup that lets a precise but brittle bug-finder reach the suspicious spots a static analyzer already flagged.”Episode 014 — Why a Constrained Pipeline Beat a Full Coding Agent at Finding Bugs 30-to-1