The process of evaluating a program without executing the program. See also desk checking, code audit, inspection, static analyzer, walk-through. Contrast with dynamic analysis.