A análise do código fonte ou objeto de um programa sem executar o código. Normalmente a análise é projetada para detectar erros.