| Разработчики: | Microsoft |
| Дата премьеры системы: | январь 2020 г |
| Отрасли: | Информационные технологии |
| Технологии: | Средства разработки приложений |
Содержание |
Основные статьи:
- Логическое программирование
- Доказательное программирование
- Методология программирования
- Технология программирования
- Программист
Project Verona — разработанный Microsoft язык программирования, основанный на Rust. Он предназначен для создания приложений, не подверженных наиболее распространенным уязвимостям и проблемам безопасности.Российский рынок BPM-систем: оценки, лидеры, тренды и перспективы. Обзор TAdviser 
Безопасность кода повышается за счёт автоматического управления памятью, которое избавит разработчиков от необходимости манипулирования указателями и защитит от проблем, возникающих из-за низкоуровневой работы с памятью, таких как обращение к области памяти после её освобождения, разыменование нулевых указателей и выход за границы буфера. Отличие языка от Rust заключается в применении концепции владения не единичными объектами, а группами объектов.
2020: Раскрытие исходных кодов
В январе 2020 года Microsoft раскрыла исходные коды языка программирования Project Verona. Они выложены на портале GitHub.
На странице репозитория указано, что Project Verona не является готовым продуктом, а также не имеет отношения к продолжающемуся использованию Microsoft языков C ++, C # и Rust.
Языки C и C++ в течение десятилетий повсеместно используются в качестве инструмента разработки системного ПО и возлагают на программиста задачу управления оперативной памятью, что неизбежно приводит к возникновению ошибок, таких как обращение к участку памяти после его освобождения или, например, выход за границы буфера. По словам Мэтта Миллера (Matt Miller), специалиста Microsoft по безопасности, около 70% всех уязвимостей, обнаруженных в программных продуктах корпорации за последние 12 лет, связанны с ошибками управления памятью.
Project Verona предлагает готовую исполняемую среду, а также интерпретатор и средство контроля типов.
В Microsoft подчеркивают, что ранее при написании системного программного обеспечения широко использовались языки C и C++, изначально не предназначавшиеся именно для безопасного программирования.[1][2]
Языки программирования
Примечания
Подрядчики-лидеры по количеству проектов
Солар (Solar) (47) Финансовые Информационные Системы (ФИС, FIS, Финсофт) (15) Форсайт (13) Unlimited Production (Анлимитед Продакшен, eXpress) (12) МТС Exolve (Межрегиональный ТранзитТелеком, МТТ) (11) Другие (433) Солар (Solar) (6) МТС Exolve (Межрегиональный ТранзитТелеком, МТТ) (4) Unlimited Production (Анлимитед Продакшен, eXpress) (4) РЖД-Технологии (3) Robin (Робин) (3) Другие (23) Unlimited Production (Анлимитед Продакшен, eXpress) (5) Солар (Solar) (4) Axiom JDK (Аксиом) (2) МТС Exolve (Межрегиональный ТранзитТелеком, МТТ) (2) Стингрей Технолоджиз (1) Другие (13)Распределение вендоров по количеству проектов внедрений (систем, проектов) с учётом партнёров
Солар (Solar) (2, 49) Microsoft (41, 47) Oracle (49, 26) Hyperledger (Open Ledger Project) (1, 23) IBM (33, 18) Другие (666, 359) Солар (Solar) (1, 6) Unlimited Production (Анлимитед Продакшен, eXpress) (1, 6) Мобильные ТелеСистемы (МТС) (1, 4) МТС Exolve (Межрегиональный ТранзитТелеком, МТТ) (1, 4) Форсайт (1, 3) Другие (15, 24) Unlimited Production (Анлимитед Продакшен, eXpress) (1, 5) Солар (Solar) (1, 4) Мобильные ТелеСистемы (МТС) (2, 3) Axiom JDK (Аксиом) (2, 2) МТС Exolve (Межрегиональный ТранзитТелеком, МТТ) (1, 2) Другие (13, 13) МТС Exolve (Межрегиональный ТранзитТелеком, МТТ) (1, 4) Мобильные ТелеСистемы (МТС) (1, 4) Яндекс (Yandex) (1, 3) Python Software Foundation (1, 3) Unlimited Production (Анлимитед Продакшен, eXpress) (1, 3) Другие (19, 25) МТС Exolve (Межрегиональный ТранзитТелеком, МТТ) (1, 1) Мобильные ТелеСистемы (МТС) (1, 1) Уральский центр систем безопасности (УЦСБ) (1, 1) Другие (0, 0)Распределение систем по количеству проектов, не включая партнерские решения
Solar appScreener (ранее Solar inCode) - 49 Hyperledger Fabric - 23 Windows Azure - 20 FIS Platform - 16 EXpress Защищенный корпоративный мессенджер - 16 Другие 364 EXpress Защищенный корпоративный мессенджер - 6 Solar appScreener (ранее Solar inCode) - 6 МТС Exolve - 4 Форсайт. Мобильная платформа (ранее HyperHive) - 3 РЖД и Робин: Облачная фабрика программных роботов - 3 Другие 14 EXpress Защищенный корпоративный мессенджер - 5 Solar appScreener (ранее Solar inCode) - 4 МТС Exolve - 2 Axiom JDK (ранее Liberica JDK до 2022) - 2 GitFlic Российский сервис для хранения кода и работы с ним - 1 Другие 13 МТС Exolve - 4 Yandex AI Studio - 3 EXpress Защищенный корпоративный мессенджер - 3 Python - 3 Т1: Сфера Платформа производства ПО - 2 Другие 18 
