V rámci projektu Verona, jenž se věnuje odstraňování reálných i potenciálních zranitelností operačního systému Windows 10, vyvíjí společnost Microsoft programovací jazyk pro tzv. bezpečné programování infrastruktury. Novinka staví na operačním jazyku Rust a je aplikována mimo jiné na nízkoúrovňových komponentách Windows.
Většina aktuálně identifikovaných chyb operačního systému Windows 10 souvisí se zabezpečením operační paměti. Právě z tohoto důvodu začala společnost Microsoft experimentovat s jazykem Rust, který pochází z dílny komunity organizace Mozilla. Ta jej navrhla právě s ohledem na tento častý typ zranitelností. Princip či koncept paměťové ochrany, přítomný ve frameworcích, pomáhá vývojářům v tom, aby se vyhnuli chybám, jež zpřístupňují paměťový prostor škodlivým kódům.
Společnost Microsoft z důvodu zpětné kompatibility udržuje mnoho starých až zastaralých kódů. S pomocí upravené verze jazyka Rust modifikuje komponenty, jež se stávají nebo mohou stát častým cílem útoků na paměťový prostor. Vedle částí operačního systémů Windows se chce zaměřit také na ovladače zařízení nebo desktopové a další aplikace, jež byly vytvořeny v různých programovacích jazycích. Jde zejména o C#, C nebo ASP.NET.
Upravený jazyk, jenž v rámci projektu Verona vzniká, bude brzy uvolněn jako open source.
