Os analisadores estáticos de programa são ferramentas de software que analisam o código-fonte de um programa e detectam possíveis defeitos e anomalias. O estágio da análise estática capaz de detectar variáveis que são utilizadas sem prévia iniciação, variáveis declaradas que nunca são utilizadas, bem como testes ineficientes, em que a condição de teste é redundante, é a análise