Programmiersprachen: KI-Tool soll C in Rust umwandeln und Menschen ersetzen
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(öffnet im neuen Fenster) , 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."
LLMs präziser für C-Umwandlung machen
Laut der Organisation ist das schon heute relativ einfach machbar. User sollen einfach auf eine der LLM-Seiten, ChatGPT, Copilot, Gemini und Co. gehen und dort C-Code eintragen. Prompts, die nach einer Code-Umwandlung in Rust fragen, sollen zuverlässig sein. Das funktioniert aktuell aber nicht immer. Eines der Ziele von Tractor ist es deshalb, solche existierenden LLMs für die Umwandlung präziser zu machen. Es wäre beispielsweise möglich, eines der Modelle mittels Finetuning auf diese spezielle Aufgabe abzustimmen.
Am Ende soll das Tool C und C++ so präzise in Rust übersetzen können, wie eine erfahrene Fachkraft es leisten könnte. Im Verlauf des Projekts sollen Wettbewerbe die Fähigkeiten eines solchen Tools auf die Probe stellen und eventuelle Fehler herausfinden. Mitte August startet die Darpa mit dem Anwerben von menschlichen Spezialisten.
- Anzeige Hier geht es zu Künstliche Intelligenz: Wissensverarbeitung bei Amazon Wenn Sie auf diesen Link klicken und darüber einkaufen, erhält Golem eine kleine Provision. Dies ändert nichts am Preis der Artikel.