Describir: Compilación y certificación de código mediante análisis estático de flujo de control y de datos