FORGE Lab individua problemi di memoria in Rust con strumenti agentici

I ricercatori del Microsoft FORGE Lab hanno individuato alcuni problemi di sicurezza della memoria all'interno delle librerie core e std del linguaggio Rust. Tra i casi rilevati dalla ricerca, è emerso che anche il codice Rust considerato sicuro può in determinate circostanze scatenare comportamenti non definiti.

Per condurre l'indagine, il team ha utilizzato Hyenas, una versione avanzata per la ricerca di codename MDASH basata su strumenti agentici. Attraverso questo strumento, i ricercatori hanno analizzato nello specifico tre modelli di fiducia riposta in modo errato nel codice non sicuro, esaminando le implicazioni che questi casi comportano per le garanzie di sicurezza offerte da Rust.