Yazılım dünyasında güvenlik endişeleri arttıkça, eski C kodlarının daha güvenli programlama dillerine çevrilmesi kritik bir ihtiyaç haline geldi. Rust programlama dili, bellek ve iş parçacığı güvenliği konusundaki güçlü garantileri sayesinde bu alanda öne çıkıyor.
C2RUST gibi mevcut araçlar, C kodlarını Rust'a sözdizimsel olarak çevirebiliyor ancak önemli bir sorunla karşılaşıyor: ortaya çıkan Rust programları ham işaretçiler gibi güvenli olmayan yapılara yoğun şekilde dayanıyor. Bu durum Rust'ın temel güvenlik avantajlarını ortadan kaldırıyor.
Yeni geliştirilen PR2 sistemi bu soruna yenilikçi bir çözüm getiriyor. Sistem, GPT-4 büyük dil modelini kullanarak ham işaretçileri Rust'ın uygun veri yapılarına otomatik olarak dönüştürüyor. Karar ağacı tabanlı yönlendirme tekniği ile işaretçi dönüştürme sürecini yönetiyor.
PR2'nin en dikkat çekici özelliklerinden biri, kod değişiklik analizi kullanarak yeniden yazma sırasında ortaya çıkan hataları otomatik olarak onarabilmesi. Bu özellik, derleme ve test aşamalarında karşılaşılan sorunları etkili şekilde çözüyor.
Bu gelişme, kritik altyapı sistemlerinde kullanılan milyonlarca satır C kodunun daha güvenli Rust versiyonlarına geçirilmesinde önemli bir kolaylaştırıcı rol oynayacak. Yazılım güvenliği açısından bu tür otomatik dönüşüm araçları, sektörün modernizasyon sürecini hızlandıracak.