Desarrollo y Verificación

Herramientas de cabecera para el estudiante y el desarrollador C. Compilación pedagógica, linters de estilo, análisis de antipatrones, seguridad estática y ejecución contenida.