Die Umwandlung in Rust soll Speicherfehler in C-Programmen der Darpa beheben. Eine KI soll dabei in großem Stil eingesetzt werden.

C und C++ gehören zu den Programmiersprachen, die vor allem bei Legacy-Programmen oft genutzt wurden und werden. Das Problem: Dort gibt es oft Sicherheitslücken, die sich auf das Speichermanagement auswirken. Schließlich können Entwickler bei diesen maschinennahen Sprachen hier Speicheradressen direkt manipulieren. Programmierfehler sind deshalb besonders kritisch. Die US-Behörde Darpa (Defense Advanced Research Projects Agency) hat deshalb ein Projekt vorgestellt, welches diese Probleme beheben soll.

Das Ziel von Tractor, kurz für Translating C to Rust: Mittels KI-Tools sollen alte C- und C++-Programme in die Programmiersprache Rust umgeschrieben werden.

Die Programmiersprache C wurde in den 1970er Jahren entwickelt und ist mittlerweile allgegenwärtig. Sie wurde zur Entwicklung von Anwendungen verwendet, die alles von modernen Smartphones bis hin zu Raumfahrzeugen und mehr betreiben.

... schreibt die Darpa.

Allerdings ist in den letzten Jahren durch einen Kulturwandel hin zur Programmiersprache Rust und jüngste Durchbrüche bei KI, etwa großen Sprachmodellen (LLMs), eine Möglichkeit entstanden, die sich möglicherweise für eine neue Klasse von Lösungen eignet.