Por qué los desarrolladores necesitan herramientas de análisis estático