Adiós, C++: la IA reescribirá el código crítico en Rust, un lenguaje seguro

El mundo digital sigue sosteniéndose sobre parches creados en el siglo pasado. Gran parte de la infraestructura crítica, desde los sistemas bancarios hasta las bases de datos gubernamentales, está escrita en C y C++. Estos lenguajes dan al programador un enorme poder sobre la memoria del ordenador, pero, como sabemos, un gran poder trae consigo errores monstruosos. Alrededor del 70 por ciento de las vulnerabilidades actuales del software se deben a una gestión incorrecta de la memoria. Son esos agujeros por los que los hackers llevan décadas colándose en sistemas protegidos. Hasta ahora no había salida: reescribir a mano millones de líneas de código antiguo era demasiado caro, lento y, simplemente, aburrido para ingenieros cualificados.

La situación cambió con Rust. Lanzado en 2015, este lenguaje promete el mismo rendimiento que C++, pero con "salvaguardas" integradas que impiden físicamente los errores fatales con la memoria. El problema es que Rust es un lenguaje complejo y los expertos son muchísimos menos que los aficionados a los clásicos. Aquí entra la inteligencia artificial. Una nueva iniciativa llamada Great Refactor propone usar redes neuronales para limpiar por fin estos establos de Augías del código obsoleto. La idea es simple: si las personas no quieren o no pueden reescribir internet de forma segura, que lo hagan las máquinas.

El Institute for Progress ha lanzado un proyecto cuyo objetivo es convertir 100 millones de líneas de código abierto a Rust para 2030. Pide nada menos que 100 millones de dólares. Parece una cifra imponente, pero el responsable del proyecto, Herbie Bradley, de Cambridge, la pone enseguida en perspectiva. Según sus cálculos, esa inversión ayudaría a evitar ciberataques con daños totales de unos 2000 millones de dólares. No es solo un ahorro: es una cuestión de supervivencia para un ecosistema digital cada vez más frágil ante las herramientas de hackeo automatizadas.

Técnicamente, la tarea ya no parece tan fantasiosa como hace un par de años. Los LLM actuales traducen con bastante soltura fragmentos pequeños de código, de hasta 1000 líneas, casi sin supervisión. Con un poco de control humano, las redes neuronales ya "digieren" proyectos de hasta 5000 líneas. La dificultad principal no es que el código funcione, sino que sea "idiomático". En la jerga de los programadores, eso significa que debe parecer escrito por un experto real en Rust, siguiendo todas las buenas prácticas y tradiciones. Si la IA produce un galimatías ilegible e imposible de mantener, la refactorización pierde todo su sentido.

La agencia de defensa DARPA también ha entrado en juego con su programa TRACTOR. Explora un enfoque híbrido: combinar el análisis estático de código clásico, afinado durante décadas, con los modelos generativos modernos. Tiene lógica, porque las redes neuronales son propensas a las alucinaciones, y en el software crítico el precio de un error no es solo una web caída, sino el posible colapso de sistemas de soporte vital. De momento, los primeros resultados muestran que la IA puede ser un excelente aprendiz, pero el papel de arquitecto jefe sigue en manos de una persona.

También hay una opinión escéptica. Desarrolladores con experiencia temen que la migración masiva a Rust provoque escasez de personal para mantener el código. Los expertos en Rust son pocos y, si de repente aparecen millones de líneas nuevas en este lenguaje, ¿quién las mantendrá al día dentro de cinco años? Además, la financiación pública a esta escala es lenta y torpe. Quizá el sector privado deba tomar la iniciativa, sobre todo porque gigantes como Google y Microsoft llevan tiempo migrando sus componentes clave a Rust con sus propios medios. Great Refactor, en cambio, apunta a la "larga cola" de bibliotecas pequeñas que mantienen un par de voluntarios y que, aun así, sostienen la mitad del software mundial.

Lo esencial: ¿Será la IA la "bala de plata" que acabe con las vulnerabilidades de memoria o simplemente cambiaremos los viejos errores por otros nuevos, generados por una red neuronal?