Na verificação e validação de software, as variáveis utilizadas sem prévia iniciação e as que são declaradas, mas não utilizadas, são verificadas, na análise estática automatizada, no estágio de análise: