Исходное сообщение
"Выпуск aTox 0.6.0, приватного и безопасного мессенджера для ..." Отправлено Аноним, 02-Мрт-21 14:29
>уязвимости маловероятны. Это сколько? >вполне нормальный код На memory-safe языке? И самое главное - аудит должен проходить в первую очередь не код, а спецификация. Только после того, как аудит подтвердит, что в спецификации всё ОК, можно аудитить код, в том числе на соответствие спецификации. Если в спецификации не ОК - то сначала переписывается спецификация, потом аудитится, и только когда ОК - переписывается и аудитится код.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>>уязвимости маловероятны. > Это сколько? >>вполне нормальный код > На memory-safe языке? > И самое главное - аудит должен проходить в первую очередь не код, > а спецификация. Только после того, как аудит подтвердит, что в спецификации > всё ОК, можно аудитить код, в том числе на соответствие спецификации. > Если в спецификации не ОК - то сначала переписывается спецификация, потом > аудитится, и только когда ОК - переписывается и аудитится код.
	Введите код, изображенный на картинке: