Canonical, la società dietro Ubuntu, sta finanziando un progetto di dottorato triennale presso l’Università di Bristol che mira a tradurre automaticamente il codice C in ruggine sicura della memoria.
Il progetto
La ricerca è guidata dal professor Meng Wang a Bristol, con il sostegno coordinato della ricerca e dell’innovazione nel Regno Unito. La motivazione è la sicurezza della memoria: Rust fornisce ai programmatori di sistemi un controllo più accurato sulle prestazioni e sulle risorse, eliminando intere classi di difetti di sicurezza della memoria – particolarmente preziosi ai confini della sicurezza.
Un approccio “neurosimbolico”
Piuttosto che affidarsi a modelli di lingua da soli, il progetto combina l’apprendimento automatico con l’analisi del programma, test e metodi formali – suddivisi in quattro componenti: pianificazione, traduzione, validazione e debug/repair. Gli studi di casi industriali sono AppArmor e snap-confine, due componenti Ubuntu critici per la sicurezza. Sono esplicitamente casi di prova, non sostituzioni pianificate. Il lavoro è previsto per iniziare più tardi nel 2026.
Fonte: Discorsi Canonici / Ubuntu.
