Identificação de problemas de código detectáveis via análise estática