Automatizando la portabilidad de C a Rust con LLMs: Una estrategia sorprendentemente eficaz

Esta publicación detalla la experiencia del autor en automatizar la portabilidad de código C a Rust utilizando modelos de lenguaje grandes (LLMs). Después de experimentar con varios enfoques, una estrategia basada en el ordenamiento topológico y las pruebas de fuzzing resultó ser altamente eficaz. Los símbolos en el código C se ordenaron topológicamente, luego el LLM generó versiones Rust de cada símbolo junto con pruebas de fuzzing. La comparación de la salida verificó la corrección. Esto portó con éxito la biblioteca de compresión Zopfli de C a Rust con resultados idénticos. Si bien no está totalmente automatizado, esto redujo drásticamente el costo y el esfuerzo, ofreciendo un nuevo enfoque para el mantenimiento y las actualizaciones de grandes bases de código.