Ubuntu
Sviluppo
Linux
Ridurre il peso del codice C storico senza affrontare costose riscritture manuali è una delle sfide più concrete per chi si occupa della manutenzione di software di sistema, componenti di sicurezza e infrastrutture mature. Canonical vuole capire se sia possibile automatizzare una parte consistente di questo lavoro: non limitandosi a convertire la sintassi, ma arrivando a produrre codice Rust realmente sicuro, leggibile e soprattutto fedele al comportamento dell’originale C.
Per farlo ha avviato con la University of Bristol un progetto di ricerca triennale che combina machine learning, analisi dei programmi, testing e metodi formali.
