Cornell Üniversitesi araştırmacıları tarafından geliştirilen &inator, C programlama dilinde yazılmış sistem yazılımlarını Rust diline otomatik olarak çeviren yenilikçi bir araç olarak dikkat çekiyor. Bu gelişme, yazılım güvenliği alanında önemli bir ilerleme anlamına geliyor.
C dilinin bellek yönetimi konusundaki esnekliği, bir yandan performans avantajı sağlarken diğer yandan güvenlik açıklarına kapı aralıyor. Rust dili ise sahiplik sistemi ve ödünç alma mekanizmaları sayesinde bu güvenlik sorunlarını derleme aşamasında tespit edebiliyor. Ancak mevcut C kodlarının Rust'a dönüştürülmesi, dilin katı kuralları nedeniyle karmaşık bir süreç gerektiriyor.
&inator'un en büyük yeniliği, program genelinde analiz yaparak arayüz çevirisi gerçekleştirmesi. Sistem, struct yapıları ve fonksiyon imzaları gibi üst düzey bildirimleri Rust'un tip sistemine uygun şekilde dönüştürüyor. Bu yaklaşım, kodun modüler ve aşamalı olarak çevrilmesine olanak tanıyor.
Araç, kısıtlama tabanlı bir formülasyon kullanarak hem semantik eşdeğerliği hem de Rust'un ödünç alma kontrolü kurallarına uygunluğu garanti ediyor. Aynı zamanda en basit ve performanslı tip yapılarını seçerek optimize edilmiş çıktılar üretiyor. Gerçek C programları üzerinde yapılan deneyler, sistemin başarılı şekilde çalıştığını gösteriyor.