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