Исходное сообщение
"Четвёртая редакция патчей для ядра Linux с поддержкой языка ..." Отправлено Аноним, 17-Янв-22 18:57
Статические анализаторы пропускают ошибки, и ты это знаешь. У Гугл и МС 70% уязвимостей это ошибки работы с памятью. Им эти анализаторы не помогли. Я знаю какой ответ будет, потому напишу сразу: Код под unsafe локализует место возможной ошибки. Существует этому и формальное доказательство (пусть пока и не включает все возможности языка): https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf Да, в некоторых синтетических примерах при использовании сложных конструкций языка возможны баги. Но они именно что считаются за баги и будут исправлены.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:
	Введите код, изображенный на картинке: