L'agenzia per la ricerca avanzata della difesa degli Stati Uniti (DARPA) ha presentato il progetto TRACTOR (Translating All C to Rust), che sviluppa un traduttore per la conversione automatica di progetti scritti in C in rappresentazioni in Rust. Il traduttore si distingue per l'uso di metodi di machine learning per ottenere un livello di codice risultante in Rust, vicino per stile e qualità a quello scritto da programmatori esperti, e utilizza, quando possibile, metodi sicuri per la gestione della memoria senza includere blocchi e funzioni contrassegnate dalla parola chiave "unsafe". Si prevede che il traduttore in sviluppo risolverà i problemi di sicurezza del vecchio codice in C ed eliminerà potenziali vulnerabilità causate da operazioni non sicure sulla memoria e comportamenti indefiniti.
Fonte: opennet.ru
