Microsoft als onderdeel van het proefproject in Verona een nieuwe programmeertaal gebaseerd op de Rust-taal en gericht op het ontwikkelen van veilige applicaties die niet onderhevig zijn aan typische beveiligingsproblemen. Bronteksten van actuele ontwikkelingen met betrekking tot het project worden in de nabije toekomst gepland gelicentieerd onder Apache 2.0.
de mogelijkheid om de taal die wordt ontwikkeld te gebruiken, inclusief voor het verwerken van Windows-componenten op laag niveau om potentiële problemen te blokkeren die zich voordoen bij het gebruik van de talen C en C++. De codeveiligheid wordt verbeterd door automatisch geheugenbeheer, waardoor ontwikkelaars geen pointers meer hoeven te manipuleren en bescherming wordt geboden tegen problemen die voortkomen uit geheugenmanipulatie op laag niveau, zoals after-free toegang, null pointer-dereferenties en bufferoverruns.
Het belangrijkste verschil tussen Verona en Rust is het gebruik van het model gebaseerd op groepen objecten in plaats van . Gegevens in Verona worden behandeld als structuren die verzamelingen objecten zijn. Er worden leencontroles en eigendomscontroles uitgevoerd met betrekking tot een groep objecten, wat de veiligheid helpt garanderen bij het manipuleren van composietstructuren en beter het abstractieniveau weerspiegelt dat doorgaans bij de ontwikkeling wordt gebruikt.
Bron: opennet.ru