Microsoft kòm yon pati nan pwojè pilòt Verona yon nouvo langaj pwogramasyon ki baze sou langaj Rust epi ki konsantre sou devlopman aplikasyon an sekirite ki pa sijè a pwoblèm sekirite tipik. Tèks sous devlopman aktyèl ki gen rapò ak pwojè a yo te planifye nan fiti prè ki gen lisans anba Apache 2.0.
abilite pou sèvi ak lang ke yo ap devlope a, ki gen ladan pou trete konpozan Windows nivo ki ba yo nan lòd yo bloke pwoblèm potansyèl ki rive lè w ap itilize lang C ak C++. Sekirite kòd amelyore pa jesyon memwa otomatik, ki elimine nesesite pou devlopè yo manipile endikasyon ak pwoteje kont pwoblèm ki rive nan manipilasyon memwa nivo ki ba, tankou aksè apre gratis, dereferans pointer nil, ak depase tanpon.
Diferans prensipal ant Verona ak Rust se itilizasyon modèl la baze sou gwoup objè olye ke . Done nan Verona yo trete kòm estrikti ki se koleksyon objè yo. Chèk prete ak chèk pwopriyetè yo fèt an relasyon ak yon gwoup objè, ki ede asire sekirite lè yo manipile estrikti konpoze ak pi byen reflete nivo abstraksyon anjeneral yo itilize nan devlopman.
Sous: opennet.ru