El mito de la seguridad en C ante el estándar C23

El Pitch

Thomas Habets, ingeniero veterano de Google con 30 años de experiencia, afirma que es físicamente imposible para un humano escribir código C no trivial libre de Comportamiento Indefinido (UB). Su tesis central es que el diseño de C es fundamentalmente incompatible con los requisitos de seguridad modernos de 2026 (fuente: Blog Habets).

Bajo el capó

El casting de punteros no alineados es oficialmente UB bajo C23 §6.3.2.3, incluso si el puntero nunca se desreferencia (fuente: HN & Dev.to). Este nivel de exigencia técnica invalida gran parte del código considerado "estable" durante las últimas décadas.

Los compiladores actuales en 2026 utilizan optimizaciones extremadamente agresivas basadas en UB. Si el compilador detecta una ruta de ejecución con comportamiento indefinido, puede eliminar bloques completos de lógica asumiendo que esa rama es inalcanzable (fuente: HN tsimionescu).

El impacto real es cuantificable: el 70% de las vulnerabilidades históricas en infraestructuras de Microsoft y Google fueron problemas de memory-safety causados por UB en C/C++ (fuente: ONCD 2026). Existe un gap de habilidades crítico donde desarrolladores senior asumen comportamientos como el "signed overflow wrap" que el estándar no garantiza (Dossier UsedBy).

Aún no sabemos si el uso de modelos como Claude 4.5 o GPT-5 para refactorización asistida puede limpiar de forma fiable el UB en proyectos legacy. Tampoco hay una respuesta oficial del comité WG14 ante la crítica técnica de Habets sobre la inviabilidad práctica del lenguaje en entornos de alta seguridad (Dossier UsedBy).

Incluso las herramientas UBSan de 2026 presentan fugas notables. Casos específicos como los efectos secundarios no secuenciados en objetos volátiles siguen escapando al análisis estático y dinámico en muchos entornos de CI/CD (fuente: HN).

La opinión de Diego

C es el lenguaje de los fantasmas: crees que dominas el metal, pero solo estás bailando en un campo de minas semántico que tú mismo instalaste en 1998. Si en 2026 sigues defendiendo C para nuevos desarrollos de infraestructura crítica, no eres un purista, eres un riesgo para tu empresa. Rust y Zig ya no son alternativas experimentales; son el estándar mínimo de decencia técnica para no acabar en un reporte de incidentes de seguridad. Yo mismo sigo encontrando UB en mis viejos repositorios de C que Claude 4.5 ahora marca con una facilidad insultante, confirmando que mi "sentido común" de programador era simplemente suerte estadística.

Código limpio siempre,
Diego.