static analysis


static analysis

(theory, programming)A family of techniques of programanalysis where the program is not actually executed (asopposed to dynamic analysis), but is analyzed by tools toproduce useful information.

Static analysis techniques range from the most mundane(statistics on the density of comments, for instance) to themore complex, semantics-based techniques.

Qualities sought in static analysis techniques are soundnessand completeness.