Microsoft nutzt LLMs zur Verbesserung der Sicherheit bei Low-Level-Programmierung: Checked C und RustAssistant

Forscher von Microsoft Research präsentierten zwei Projekte, die Large Language Models (LLMs) nutzen, um die Sicherheit bei Low-Level-Programmierung zu verbessern. Ein Projekt verwendet LLMs, um Checked C zu unterstützen, indem automatisch Speicher-Sicherheitsannotationen zu vererbtem C-Code hinzugefügt werden, wodurch die Sicherheit verbessert und der Aufwand für manuelle Annotationen reduziert wird. Das zweite Projekt, RustAssistant, nutzt LLMs, um automatisch Rust-Kompilierungsfehler zu beheben und die Lernkurve von Rust deutlich zu reduzieren. Beide Projekte zeigen das immense Potenzial von LLMs zur Verbesserung der Codesicherheit und der Entwicklereffizienz und eröffnen neue Möglichkeiten für die Softwareentwicklung.