DARPA, C kodunu Rust'a otomatik olarak çevirerek transpile etmek istiyor - Yapay Zeka kullanarak

Savunma Bakanlığının DARPA'sı, C kodunu Rust'a çevirerek yazılım güvenliğini iyileştirmeyi amaçlayan makine öğrenimi araçlarının geliştirilmesi için bir proje başlattı. Bellek güvenliği hataları, örneğin tampon taşmalar, büyük kod tabanlarında bulunan önemli açıklıklardır. DARPA'nın girişimi, programlama dili çevirme için yapay zeka modellerini kullanarak daha güvenli yazılım elde etmek için çalışmaktadır. DARPA program yöneticisi Dan Wallach, şu anda C'yi Rust'a çevirerek konuşan sohbet robotlarının yeteneklerini vurguluyor, ancak kritik program yapıları için çevirme doğruluğunu önemli ölçüde iyileştirmek gerektiğini belirtiyor. Yazılım mühendisliği topluluğu, C ve C++'da bulunan sürekli bellek güvenliği sorunlarına tanık olan ve Rust gibi daha güvenli dillerin gerekliliğini kabul etmektedir. Ulusal Siber Direktörünün Ofisi de, hata bulma araçlarının ötesinde daha iyi güvenlik önlemleriyle ilgili olarak benzer bir görüş paylaşmaktadır. Code Metal'in CEO'su Peter Morales, projenin siber güvenlik üzerindeki potansiyel etkisine dikkat çekerek, bellek güvenliğiyle ilgili önemli bir dikkat gösterildiğini belirtiyor. Wallach, Rust'ın programcılar için güvenlik ve özgürlük sağladığını söylediğine göre, katı kurallara uyulmasını zorunlu tuttuğunu belirtiyor. Morales, çevirme sürecinde çok sayıda özel durumla ilgili olarak da zorluklar olduğunu kabul etmektedir. Bazı projeler, örneğin Linux çekirdeği, Rust ile teknik uyumsuzluklar nedeniyle kapsam dışında tutulmaktadır.