Automatiser la portabilité de C vers Rust avec les LLMs : une stratégie étonnamment efficace

Cet article détaille l'expérience de l'auteur dans l'automatisation de la portabilité de code C vers Rust à l'aide de grands modèles de langage (LLMs). Après avoir expérimenté plusieurs approches, une stratégie basée sur le tri topologique et les tests de fuzzing s'est avérée très efficace. Les symboles du code C ont été triés topologiquement, puis le LLM a généré des versions Rust de chaque symbole ainsi que des tests de fuzzing. La comparaison des sorties a vérifié l'exactitude. Cela a permis de porter avec succès la bibliothèque de compression Zopfli de C vers Rust avec des résultats identiques. Bien que non entièrement automatisé, cela a considérablement réduit le coût et l'effort, offrant une nouvelle approche pour la maintenance et les mises à jour de grandes bases de code.