KAIST-Fakultät für Informatik entwickelt automatische Übersetzungstechnologie von C nach Rust

 (n.news.naver.com)
12 Punkte von regentag 2024-08-13 | 9 Kommentare | Auf WhatsApp teilen

KAIST hat am 13. bekannt gegeben, dass das Forschungsteam um Ryu Seok-young an der Fakultät für Informatik (Labor für Programmiersprachen) eine „C-zu-Rust-Codeübersetzungstechnologie“ entwickelt hat, die verhindert, dass bei den Kernfunktionen der Programmiersprache C Speicherprobleme entstehen. Die Ergebnisse dieser Forschung wurden auf der internationalen Fachkonferenz „Automated Software Engineering (ASE)“ angenommen.

Die Arbeit wurde nach koreanischer Zeit am 21. Juni im Journal PACMPL (Proceedings of the ACM on Programming Languages) veröffentlicht und auf der Konferenz PLDI 2024 präsentiert, die vom 25. bis 27. Juni stattfand.

Verwandte Beiträge

9 Kommentare

 
azabell 2024-08-18

Sieht interessant aus.
 
skrevolve 2024-08-16

Wenn man die Ablösung einfach durch Konvertierung ersetzt, hat Rust dann überhaupt noch einen Sinn?
 
purely4959 2024-08-17

Gibt es unter dem Aspekt der Speichersicherheit nicht durchaus genug Vorteile?
Außerdem könnte man wohl auch Sicherheitsprobleme in den Bereichen aufspüren, die sich nicht automatisch konvertieren lassen, wenn bestehender C-Code eigentumsbasiert verwaltet werden soll.
 
koreaisbest 2024-08-14

Von C zu Rust ... haben Sie getrunken?
 
regentag 2024-08-14

Kann man C nicht nach Rust übersetzen..?
 
andrewchaa 2024-08-14

Wenn nur union konvertiert wird, verstehe ich nicht so recht, welchen Sinn das hat.
 
botplaysdice 2024-08-14

Der Grund, warum man sich auf die Umwandlung von union konzentriert hat, ist vermutlich, dass die Übersetzung anderer Bestandteile einfacher ist, oder nicht?
 
jongyeol 2024-08-13

Wenn man nur den Artikeltitel sieht, kann man leicht fälschlich annehmen, dass die Übersetzung von C nach Rust vollständig möglich ist. Im Artikel oben wie auch in anderen Artikeln scheint aber nur die Umwandlung von union erwähnt zu werden.

(Obiger Artikel)
„Das Forschungsteam hat eine Technologie entwickelt, die bestehende Unions der Sprache C in Rust-Code übersetzt.“
„Das Forschungsteam plant Anschlussforschung, um die Stufe einer ‚vollständig automatischen Übersetzung‘ zu erreichen.“

(Anderer Artikel)
„KAIST (Präsident Kwang-Hyung Lee) gab am 13. bekannt, dass das Forschungsteam von Professor Seokyoung Ryu vom School of Computing (Programming Languages Lab) weltweit erstmals eine Technologie entwickelt hat, die union in der Sprache C in Rusts Tagged Union umwandelt.“
https://www.lecturernews.com/news/articleView.html?idxno=158865
 
secret3056 2024-08-13

Vor Kurzem gab es ja auch die Nachricht zu TRACTOR ...