Definition
A program that inspects source code without running it to spot suspicious patterns.
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