El análisis del código fuente u objeto de un programa sin ejecutar el código. Típicamente el análisis está diseñado para detectar errores.