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
“And — this is the safeguard — a static scanner finds no shortcut patterns in the reward code.”Episode 080 — How a Two-Agent Trick Unlocked Large-Scale Training for Computer-Use Agents