O processo de avaliação de um programa sem executar o programa. Veja também disponível a verificação, inspeção, auditoria, passo a passo, analisador de estática de código. Análise de contraste com dinâmica.