Microsoft Verona Pilot Layihəsinin bir hissəsi kimi Rust dilinə əsaslanan və tipik təhlükəsizlik problemlərinə məruz qalmayan təhlükəsiz proqramların işlənib hazırlanmasına yönəlmiş yeni proqramlaşdırma dili. Layihə ilə bağlı mövcud inkişafların mənbə mətnləri yaxın gələcəkdə planlaşdırılır Apache 2.0 altında lisenziyalıdır.
C və C++ dillərindən istifadə zamanı yaranan potensial problemlərin qarşısını almaq üçün aşağı səviyyəli Windows komponentlərinin yenidən işlənməsi daxil olmaqla, inkişaf edən dildən istifadə etmək imkanı. Kod təhlükəsizliyi avtomatik yaddaş idarəçiliyi ilə gücləndirilir ki, bu da tərtibatçıları göstəriciləri manipulyasiya etmək məcburiyyətindən xilas edir və yaddaş sahəsinə boşaldıqdan sonra daxil olmaq, sıfır göstəricilərə istinad etmək və bufer aşmaq kimi aşağı səviyyəli yaddaş manipulyasiyası nəticəsində yaranan problemlərdən qoruyur. .
Verona və Rust arasındakı əsas fərq modelin istifadəsidir deyil, obyekt qruplarına əsaslanır . Veronadakı məlumatlar obyektlərin toplusu olan strukturlar kimi qəbul edilir. Borcların yoxlanılması və sahiblik nəzarəti bir qrup obyektə münasibətdə həyata keçirilir ki, bu da kompozit strukturların manipulyasiyası zamanı təhlükəsizliyi təmin edir və inkişafda ümumi istifadə olunan abstraksiya səviyyəsini daha yaxşı əks etdirir.
Mənbə: opennet.ru