FORGE Lab identifie des problèmes de mémoire dans Rust avec des outils agentiques

Les chercheurs du Microsoft FORGE Lab ont identifié certains problèmes de sécurité de la mémoire au sein des bibliothèques core et std du langage Rust. Parmi les cas relevés par la recherche, il est apparu que même le code Rust considéré comme sûr peut, dans certaines circonstances, déclencher des comportements non définis.

Pour mener l'enquête, l'équipe a utilisé Hyenas, une version avancée pour la recherche de codename MDASH basée sur des outils agentiques. À travers cet outil, les chercheurs ont analysé spécifiquement trois modèles de confiance accordée de manière erronée dans le code non sûr, en examinant les implications que ces cas entraînent pour les garanties de sécurité offertes par Rust.