A Microsoft a veronai kísérleti projekt részeként egy új programozási nyelv, amely a Rust nyelven alapul, és olyan biztonságos alkalmazások fejlesztésére összpontosít, amelyek nincsenek kitéve tipikus biztonsági problémáknak. A projekthez kapcsolódó aktuális fejlesztések forrásszövegei a közeljövőben készülnek Apache 2.0 licenc alatt.
a fejlesztés alatt álló nyelv használatának képessége, beleértve az alacsony szintű Windows-összetevők feldolgozását a C és C++ nyelvek használata során felmerülő lehetséges problémák blokkolása érdekében. A kód biztonságát fokozza az automatikus memóriakezelés, amely kiküszöböli a fejlesztők számára a mutatók manipulálását, és védelmet nyújt az alacsony szintű memóriakezelésből eredő problémák ellen, mint például az utólagos szabad hozzáférés, a nullmutató hivatkozások és a puffertúllépések.
A fő különbség Verona és Rust között a modell használata tárgycsoportokon alapul, nem pedig . A veronai adatokat struktúrákként kezelik, amelyek objektumgyűjtemények. A kölcsönzési és tulajdonosi ellenőrzéseket egy objektumcsoportra vonatkozóan hajtják végre, ami segíti a biztonságot a kompozit szerkezetek manipulálásakor, és jobban tükrözi a fejlesztés során jellemzően használt absztrakciós szintet.
Forrás: opennet.ru