Nueva tecnología traduce C a Rust con precisión superior a la IA

La Universidad Avanzada de Ciencia y Tecnología de Corea (KAIST) ha presentado una innovadora tecnología que permite la conversión automática del lenguaje de programación C al lenguaje Rust. Esta iniciativa surge como respuesta a las limitaciones de seguridad que presenta el C, utilizado en sistemas operativos y software crítico a nivel global.

El equipo de investigación, liderado por el Profesor Sukyoung Ryu, demostró que su tecnología no solo realiza la conversión de manera precisa, sino que también garantiza la corrección matemática del proceso. Esto representa un avance significativo en comparación con los métodos actuales basados en inteligencia artificial, que a menudo carecen de esta garantía.

La conversión automática a Rust se presenta como una solución viable para abordar las vulnerabilidades de seguridad inherentes al C. Desde su desarrollo en 2015, Rust ha ganado popularidad por su capacidad para detectar y prevenir errores antes de la ejecución del programa, lo que lo convierte en una opción más segura para el desarrollo de software.

Un informe del Gobierno de EE. UU. publicado en febrero de 2024 recomendó la discontinuación del uso del C, destacando a Rust como la alternativa principal para resolver los problemas de seguridad asociados. La Agencia de Proyectos de Investigación Avanzada de Defensa (DARPA) también ha promovido proyectos para desarrollar tecnologías que faciliten la conversión automática de código C a Rust.

El equipo de investigación de KAIST ha estado trabajando en esta tecnología desde antes de que estas recomendaciones se hicieran públicas. En mayo de 2023, presentaron una tecnología de conversión de Mutex, necesaria para la sincronización de programas, en la Conferencia Internacional sobre Ingeniería de Software (ICSE). Posteriormente, en junio de 2024, presentaron la tecnología de conversión de Parámetros de Salida en la Conferencia sobre Diseño e Implementación de Lenguajes de Programación (PLDI), y en octubre de ese mismo año, la tecnología de conversión de Unión en la Conferencia sobre Ingeniería de Software Automatizada (ASE).

El Dr. Jaemin Hong, miembro del equipo, afirmó: "La tecnología de conversión que desarrollamos es original y se basa en la teoría de lenguajes de programación. Su mayor fortaleza es que podemos probar lógicamente la 'correctitud' de la conversión". Además, se espera que el Dr. Hong asuma el cargo de profesor asistente en el Departamento de Ciencias de la Computación de UNIST a partir de marzo de 2025.

El trabajo del equipo de Ryu no solo se limita a la conversión automática de C a Rust. También han desarrollado tecnologías para verificar el funcionamiento correcto de programas en computadoras cuánticas y para comprobar la corrección de programas en WebAssembly, recibiendo reconocimientos por su efectividad.

La investigación fue publicada en la edición de noviembre de Communications of the ACM y fue seleccionada como la historia de portada, destacando la relevancia y el impacto de estos avances en el campo de la ingeniería de software.

Temas