Previously,Microsoft says it is exploring a secure alternative to C and CAnd also demonstrated the use of rustOverride windows componentsAccording to Microsoft, Rust is a programming language that fundamentally considers security, and they will try to rewrite a variety of products using Rust, because more than 70 percent of Microsoft's security patches have provided memory-related errors over the past decade, and Rust solves this problem.
And according toZDNet ReportRecently, in a speech about Microsoft's work to solve the memory problem, Microsoft researcher Matthew Parkinson mentionedVerona, a new programming language based on rust developed by Microsoft。
In his speech, Matthew first shared Microsoft's work on the MemGC (Memory Garage Collector), which means the memory garbage collector on the IE and Edge browsers, which solves one of the characteristics of the standard browse
And then he pulled another question: how to build the most secure product? Not just to drop what is already, but to consider what can be built in a more secure system. He introduced Microsoft's use of Rust to rewrite some of the components and put forward:
Matthew proposed Verona, a new Rust-based programming language being developed by Microsoft, which he said was the first time the project had been discussed and that Verona was used by Microsoft.
Matthew introduces that Verona is maintained by C # project manager Mads Torgensen and Microsoft Research Cambridge research software engineer Juliana Franco.
The challenge for Microsoft is to address a wide range of applications, ranging from C # desktop applications to C or C # Exchange,ASP.NET,Azure and device drivers, to underlying Windows components such as memory management and boot loaders, and to the Windows kernel hardware abstraction layer (HAL,hardware abstraction layer).)
So by taking ownership at the level of ownership of objects, then we get much closer to the level of abstraction that people are using and it gives us the ability to build data structures without going outside of safety.
In addition, Matthew said Verona will soon be open source.