Le département d’informatique du KAIST développe une technologie de traduction automatique de C vers Rust

Le KAIST a annoncé le 13 que l’équipe de recherche du département d’informatique de Ryu Seok-young (Laboratoire des langages de programmation) a développé une « technologie de traduction de code C vers Rust » qui empêche l’apparition de problèmes de mémoire dans les fonctionnalités clés du langage C. Les résultats de cette recherche ont été acceptés à la conférence internationale « Automated Software Engineering (ASE) ».

L’article a été publié le 21 juin, heure de Corée, dans la revue PACMPL (Proceedings of the ACM on Programming Languages), puis présenté lors de la conférence PLDI 2024, qui s’est tenue du 25 au 27 juin.

[azabell]

Ça a l’air intéressant.

[skrevolve]

Si on remplace simplement par une conversion, est-ce que Rust a encore un intérêt ?

[purely4959]

Du point de vue de la sécurité mémoire, cela n’a-t-il pas largement ses avantages ?
Et lorsqu’on cherche à faire gérer automatiquement du code C existant sur la base du modèle d’ownership, j’ai aussi l’impression que l’on pourrait repérer des problèmes de sécurité dans les parties qui ne peuvent pas être converties automatiquement.

[koreaisbest]

De C vers Rust... vous avez bu ?

[regentag]

On ne peut pas traduire du C vers Rust.. ?

[andrewchaa]

Si cela ne fait que convertir les union, je ne vois pas vraiment en quoi c’est utile.

[botplaysdice]

La raison pour laquelle ils se sont concentrés sur la conversion des unions, n’est-ce pas parce que la traduction des autres composants est simple ?

[jongyeol]

À ne lire que le titre de l’article, on peut facilement croire que toute la traduction C->Rust est possible, mais dans cet article comme dans d’autres, on dirait que seule la conversion de union est mentionnée.

---

(article ci-dessus)
« L’équipe de recherche a développé une technologie permettant de traduire les union du langage C existant en code Rust. »
« L’équipe de recherche prévoit de poursuivre des travaux afin d’atteindre l’étape de la “traduction entièrement automatique”. »

---

(autre article)
« Le KAIST (président Lee Kwang-hyung) a annoncé le 13 que l’équipe de recherche du professeur Ryu Seok-young, du département d’informatique (Programming Languages Lab), avait développé pour la première fois au monde une technologie transformant les union du langage C en tagged union de Rust. »
https://www.lecturernews.com/news/articleView.html?idxno=158865

[secret3056]

Il y a eu aussi récemment une actualité sur TRACTOR, n'est-ce pas...