Análise Estática por Ferramentas