Análisis estático de código