Canonical, forța din spatele Ubuntu, inițiază o inițiativă vizionară, susținând un proiect de cercetare de doctorat pe o perioadă de trei ani la Universitatea din Bristol. Scopul ambițios? Valorificarea puterii inteligenței artificiale, în special a modelelor lingvistice mari (LLM), pentru a traduce cu precizie baze de cod extinse scrise în C în limbajul de programare Rust, cunoscut pentru siguranța memoriei și performanța sa ridicată. Această mișcare marchează un impuls semnificativ către îmbunătățirea securității și mentenabilității software-ului în industrie.
Proiectul nu este doar o simplă înlocuire lingvistică. Traducătorii de cod tradiționali sunt adesea deficitari, păstrând frecvent vulnerabilitățile inerente și practicile nesigure din C în codul Rust nou tradus. Viziunea Canonical, susținută de Jon Seager, vicepreședintele de inginerie, este mult mai profundă. Cercetarea își propune să dezvolte metode care, în primul rând, descompun programele C complexe în componente mai mici, ușor de gestionat. Această descompunere granulară permite apoi LLM-urilor sofisticate să rescrie aceste segmente în Rust, concentrându-se pe generarea unui cod corect din punct de vedere comportamental, cu adevărat sigur și ușor de întreținut.
Această cercetare inovatoare este un efort de colaborare, co-sponsorizat de Canonical și UK Research and Innovation, un organism public cheie care sprijină creșterea științifică și economică. Implicațiile sunt vaste, în special pentru infrastructura critică și proiectele software pe termen lung care depind în mare măsură de C. Prin demonstrarea fezabilității unei traduceri C-to-Rust de înaltă calitate, bazată pe AI, proiectul ar putea deschide calea către o nouă eră a dezvoltării software sigure. Canonical intenționează să examineze instrumente fundamentale specifice, precum snap-confine și AppArmor, ca potențiale aplicații inițiale pentru această metodologie inovatoare de traducere.
