FORGE Lab identifiziert Speicherprobleme in Rust mit agentischen Werkzeugen

Forscher des Microsoft FORGE Lab haben einige Speichersicherheitsprobleme innerhalb der Bibliotheken core und std der Sprache Rust identifiziert. Unter den von der Forschung aufgedeckten Fällen hat sich gezeigt, dass selbst Rust-Code, der als sicher gilt, unter bestimmten Umständen undefiniertes Verhalten auslösen kann.

Um die Untersuchung durchzuführen, hat das Team Hyenas verwendet, eine erweiterte Version für die Suche des Codenamens MDASH, die auf agentischen Werkzeugen basiert. Durch dieses Werkzeug haben die Forscher speziell drei Muster fälschlicherweise entgegengebrachten Vertrauens in unsicheren Code analysiert und die Implikationen untersucht, die diese Fälle für die von Rust gebotenen Sicherheitsgarantien mit sich bringen.