Исходное сообщение
"Выпуск aTox 0.6.0, приватного и безопасного мессенджера для ..." Отправлено Аноним, 03-Мрт-21 22:10
> На memory-safe языке? Оно никому ничего не гарантирует - в pybitmessage был найден баг по сути на грани бэкдора, eval на входных данных аж. И какая радость с его memory safe при таком раскладе? RCE все-равно как с куста. > И самое главное - аудит должен проходить в первую очередь не код, > а спецификация. Только после того, как аудит подтвердит, что в спецификации > всё ОК, можно аудитить код, в том числе на соответствие спецификации. > Если в спецификации не ОК - то сначала переписывается спецификация, потом > аудитится, и только когда ОК - переписывается и аудитится код. Спецификации tox вроде достаточно разумны на вид. А так теория это круто. Сколько софта пишется в виде как вон то? А, софт для ракет и самолетов? Так даже и там ариан5 долбается о небесную твердь, а 737макс прикладывается о землю из-за разногласий софта с пилотом. Остальные, естественно и подавно не могут столько ресурсов в софтдев вбухивать - поэтому там уже кто во что горазд. И напор на теоретические конструкции обычно почему-то сопровождается хреновой практикой и прошляплеными детскими багами. Виноватыми тем что из чуть-чуть другой области.

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