análise estática