Análisis estático