The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Доступен язык программирования Rust 1.16, opennews (?), 19-Мрт-17, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


78. "Доступен язык программирования Rust 1.16"  +/
Сообщение от Вареник (?), 19-Мрт-17, 16:42 
>> За счет встроенных возможностей статического анализа

- У кого-то проблема запустить статистический анализатор в другом ЯП?
Значит проблема не в коде....

Ответить | Правка | Наверх | Cообщить модератору

79. "Доступен язык программирования Rust 1.16"  –1 +/
Сообщение от Вареник (?), 19-Мрт-17, 16:43 
> статический анализатор

сорри

Ответить | Правка | Наверх | Cообщить модератору

90. "Доступен язык программирования Rust 1.16"  +3 +/
Сообщение от Аноним (-), 19-Мрт-17, 17:30 
Речь не о статических анализаторах ошибок и уязвимостей в коде. Речь об анализе кода компилятором. В С++ нет встроенного динамического массива. Массивы работают через указатели. Указатели же не несут данных о памяти, на которую указывают. Компилятор в ряде случаев не может определить перекрываются ли копируемые диапазоны и применить соответствующие оптимизации. В Rust данная ситуация исключена.
Ответить | Правка | Наверх | Cообщить модератору

177. "Доступен язык программирования Rust 1.16"  –2 +/
Сообщение от Вареник (?), 20-Мрт-17, 15:05 
> В С++ нет встроенного динамического массива. Массивы работают через указатели.

- Поэтому я и спокоен за С++, когда вижу какие глупости пишут его критики, расхваливая сырые поделки на замену :)

То анализатор не знают как запустить, то массивы в современном С++ хорошего стиля - "через указатели", которые "перекрываются"...

Ответить | Правка | Наверх | Cообщить модератору

116. "Доступен язык программирования Rust 1.16"  +4 +/
Сообщение от ferux (ok), 19-Мрт-17, 21:18 
Дело в том, что возможности и сложность реализации статического анализатора сильно зависит от языка.

Для C++ сколько анализаторов не писали, пока не могут гаранитровать безопасность данных, потому что с одной стороны в языке богатый синтаксис (всё не проверишь), а с другой стороны мало ограничений на корректную программу.
В Rust же благодаря налагаемым ограничениям на корректную программу, безопасность данных гарантировать удалось.

Ответить | Правка | К родителю #78 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру