| Разработчики: | Microsoft |
| Дата премьеры системы: | январь 2020 г |
| Отрасли: | Информационные технологии |
| Технологии: | Средства разработки приложений |
Содержание |
Основные статьи:
- Логическое программирование
- Доказательное программирование
- Методология программирования
- Технология программирования
- Программист
Project Verona — разработанный Microsoft язык программирования, основанный на Rust. Он предназначен для создания приложений, не подверженных наиболее распространенным уязвимостям и проблемам безопасности.Известные пранкеры Вован и Лексус поделятся лайфхаками с ИБ-директорами на TAdviser SummIT 27 ноября 
Безопасность кода повышается за счёт автоматического управления памятью, которое избавит разработчиков от необходимости манипулирования указателями и защитит от проблем, возникающих из-за низкоуровневой работы с памятью, таких как обращение к области памяти после её освобождения, разыменование нулевых указателей и выход за границы буфера. Отличие языка от 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) МТС Exolve (Межрегиональный ТранзитТелеком, МТТ) (10) Бипиум (Bpium) (10) Другие (423) Солар (Solar) (10) Форсайт (3) Banks Soft Systems, BSS (Бэнкс Софт Системс, БСС) (3) Cloud.ru (Облачные технологии) ранее SberCloud (2) КРИТ (KRIT) (2) Другие (13) Солар (Solar) (6) МТС Exolve (Межрегиональный ТранзитТелеком, МТТ) (4) Unlimited Production (Анлимитед Продакшен, eXpress) (4) РЖД-Технологии (3) Robin (Робин) (3) Другие (24)Распределение вендоров по количеству проектов внедрений (систем, проектов) с учётом партнёров
Солар (Solar) (2, 49) Microsoft (41, 47) Oracle (49, 26) Hyperledger (Open Ledger Project) (1, 23) IBM (33, 18) Другие (658, 344) Солар (Solar) (1, 11) Banks Soft Systems, BSS (Бэнкс Софт Системс, БСС) (1, 3) Форсайт (1, 3) Cloud.ru (Облачные технологии) ранее SberCloud (1, 2) Сбербанк (1, 2) Другие (9, 9) Солар (Solar) (1, 6) Unlimited Production (Анлимитед Продакшен, eXpress) (1, 6) Мобильные ТелеСистемы (МТС) (1, 4) МТС Exolve (Межрегиональный ТранзитТелеком, МТТ) (1, 4) Форсайт (1, 3) Другие (15, 25) Unlimited Production (Анлимитед Продакшен, eXpress) (1, 5) Солар (Solar) (1, 4) Мобильные ТелеСистемы (МТС) (2, 3) МТС Exolve (Межрегиональный ТранзитТелеком, МТТ) (1, 2) AppSec Solutions (АппСек Солюшенс) (1, 1) Другие (15, 15) Мобильные ТелеСистемы (МТС) (1, 4) МТС Exolve (Межрегиональный ТранзитТелеком, МТТ) (1, 4) OpenAI (2, 2) Актив (Актив-софт) (1, 2) Форсайт (1, 2) Другие (12, 13)Распределение систем по количеству проектов, не включая партнерские решения
Solar appScreener (ранее Solar inCode) - 49 Hyperledger Fabric - 23 Windows Azure - 20 FIS Platform - 16 Форсайт. Мобильная платформа (ранее HyperHive) - 14 Другие 353 Solar appScreener (ранее Solar inCode) - 11 Форсайт. Мобильная платформа (ранее HyperHive) - 3 BSS Digital2Go - 3 Cloud ML Space - 2 Kubernetes - 1 Другие 8 Solar appScreener (ранее Solar inCode) - 6 EXpress Защищенный корпоративный мессенджер - 6 МТС Exolve - 4 Форсайт. Мобильная платформа (ранее HyperHive) - 3 РЖД и Робин: Облачная фабрика программных роботов - 3 Другие 15 
