Automatizando a portabilidade de C para Rust com LLMs: Uma estratégia surpreendentemente eficaz

Este post detalha a experiência do autor em automatizar a portabilidade de código C para Rust usando modelos de linguagem grandes (LLMs). Após experimentar várias abordagens, uma estratégia baseada em ordenação topológica e testes de fuzzing se mostrou altamente eficaz. Os símbolos no código C foram ordenados topologicamente, então o LLM gerou versões Rust de cada símbolo junto com testes de fuzzing. A comparação de saída verificou a correção. Isso portou com sucesso a biblioteca de compressão Zopfli de C para Rust com resultados idênticos. Embora não seja totalmente automatizado, isso reduziu drasticamente o custo e o esforço, oferecendo uma nova abordagem para manutenção e atualizações de grandes bases de código.