Die US-Forschungsbehörde Darpa hat mit „Tractor“ (Translating All C To Rust) ein Programm vorgestellt, das mit Hilfe von KI-Werkzeugen automatisiert alte C- und C++-Programme in die Programmiersprache Rust umschreiben soll. Die Behörde kündigte das Projekt am 31. Juli 2024 an.
Hintergrund ist die hohe Zahl an Sicherheitslücken in C-Programmen, die auf fehlerhaftes Speichermanagement zurückgehen. Weil Entwickler bei maschinennahen Sprachen wie C Speicheradressen direkt manipulieren können, sind Programmierfehler hier besonders kritisch. C wurde in den 1970er Jahren entwickelt und steckt laut Darpa bis heute in Software vom Smartphone bis zum Raumfahrzeug.
Große Sprachmodelle sollen präziser werden
Schon heute lässt sich C-Code testweise über Sprachmodelle wie ChatGPT, Copilot oder Gemini in Rust übersetzen, zuverlässig funktioniert das laut Darpa aber noch nicht. Ein Ziel von Tractor ist deshalb, bestehende Sprachmodelle für diese spezielle Übersetzungsaufgabe zu verfeinern, etwa durch gezieltes Finetuning.
Am Ende soll das Tool C- und C++-Code so präzise nach Rust übertragen können wie eine erfahrene Fachkraft. Im Verlauf des Projekts sollen Wettbewerbe die Fähigkeiten der Software auf die Probe stellen und verbleibende Fehler aufdecken. Menschliche Fachkräfte für diese Tests wollte die Behörde ab Mitte August 2024 anwerben.