Uso y principios de las herramientas de análisis estático