Microsoft dans le cadre du projet pilote Vérone un nouveau langage de programmation basé sur le langage Rust et axé sur le développement d'applications sécurisées qui ne sont pas soumises aux problèmes de sécurité typiques. Les textes sources des développements en cours liés au projet sont prévus dans un avenir proche sous licence Apache 2.0.
la possibilité d'utiliser le langage en cours de développement, y compris pour traiter les composants Windows de bas niveau afin de bloquer les problèmes potentiels pouvant survenir lors de l'utilisation des langages C et C++. La sécurité du code est renforcée par la gestion automatique de la mémoire, qui élimine le besoin pour les développeurs de manipuler des pointeurs et protège contre les problèmes résultant de la manipulation de la mémoire de bas niveau, tels que l'accès après libération, les déréférences de pointeurs nuls et les dépassements de mémoire tampon.
La principale différence entre Vérone et Rust réside dans l'utilisation du modèle basé sur des groupes d'objets plutôt que . À Vérone, les données sont traitées comme des structures qui sont des collections d'objets. Les contrôles d'emprunt et de propriété sont effectués par rapport à un groupe d'objets, ce qui contribue à garantir la sécurité lors de la manipulation de structures composites et reflète mieux le niveau d'abstraction généralement utilisé dans le développement.
Source: opennet.ru