Suicide
03.12.2019, 19:09
Компания Microsoft в рамках экспериментального проекта Verona развивает (https://www.slideshare.net/KTNUK/digital-security-by-design-security-and-legacy-at-microsoft-matthew-parkinson-microsoft) новый язык программирования, основанный на языке Rust и ориентированный на разработку защищённых приложений, не подверженных типовым проблемам с безопасностью. Исходные тексты текущих наработок, связанных с проектом, в ближайшее время планируется открыть (https://github.com/verona-lang/verona) под лицензией Apache 2.0.
Рассматривается (https://msrc-blog.microsoft.com/2019/11/07/using-rust-in-windows/) возможность использования развиваемого языка в том числе для переработки низкоуровневых компонентов Windows с целью блокирования потенциальных проблем, всплывающих при применении языков C и C++. Безопасность кода повышается за счёт автоматического управления памятью, которое избавит разработчиков от необходимости манипулирования указателями и защитит от проблем, возникающих из-за низкоуровневой работы с памятью, таких как обращение к области памяти после её освобождения, разыменование нулевых указателей и выход за границы буфера.
Основным отличием Verona от Rust является применение модели владения (https://rurust.github.io/rust_book_ru/ownership.html) на основе групп объектов, а не единичных объектов (https://doc.rust-lang.ru/book/ch04-01-what-is-ownership.html). Данные в Verona рассматриваются как структуры, представляющие собой коллекции объектов. Проверки заимствования и контроль владения производятся в привязке к группе объектов, что позволяет обеспечить безопасность при манипуляциях с составными структурам и лучше отражает уровень абстракции, обычно применяемый при разработке.
03.12.2019
http://www.opennet.ru/opennews/art.shtml?num=51966
Рассматривается (https://msrc-blog.microsoft.com/2019/11/07/using-rust-in-windows/) возможность использования развиваемого языка в том числе для переработки низкоуровневых компонентов Windows с целью блокирования потенциальных проблем, всплывающих при применении языков C и C++. Безопасность кода повышается за счёт автоматического управления памятью, которое избавит разработчиков от необходимости манипулирования указателями и защитит от проблем, возникающих из-за низкоуровневой работы с памятью, таких как обращение к области памяти после её освобождения, разыменование нулевых указателей и выход за границы буфера.
Основным отличием Verona от Rust является применение модели владения (https://rurust.github.io/rust_book_ru/ownership.html) на основе групп объектов, а не единичных объектов (https://doc.rust-lang.ru/book/ch04-01-what-is-ownership.html). Данные в Verona рассматриваются как структуры, представляющие собой коллекции объектов. Проверки заимствования и контроль владения производятся в привязке к группе объектов, что позволяет обеспечить безопасность при манипуляциях с составными структурам и лучше отражает уровень абстракции, обычно применяемый при разработке.
03.12.2019
http://www.opennet.ru/opennews/art.shtml?num=51966