Исходное сообщение
"Rust включён в число основных языков для разработки платформ..." Отправлено Аноним, 17-Апр-21 12:37
1. Вы делаете туже ошибку, что создатели Rust. Гарантии безопасности может дать только ядро OS и процессор. При этом компилятор очень важен для обеспечения безопасности. Но компилятор не есть ключ к гарантиям безопасности. 2. Вы недоконца поняли проактивную защиту, она не только заменяет дыру на DoS. Да прога упадет, но В ЛОГАХ останется подробная запись о причинах и месте падения. Логи с падением шлем разрабам и они фиксят дыру. Баги при внедрении проактивной защиты не остаются, они все быстро находятся и исправляются. 3. GCC очень сложный, он старается защитить компилируемые проги, в некоторых местах, защищает от переполнения буфера: -D_FORTIFY_SOURCE=2. Целесообразно внедрить -D_FORTIFY_SOURCE=3. -fPIC  преобразовывает код в позиционно независимый, а -fPIE собирает позиционно независимый бинарь, который в ASLR ядре OS, грузится по разным адресам в памяти и значительно усложняет атаки. Делает их обнаруживаемыми, с записями в логах. Техника SSP вставляет "канарейки" сигнализирует о переполнении стека. 4. Если интересует компилятор проверяющий индексы можно посмотреть Fortran, Pascal. Для С-ишных прог попробуйте собрать GCC с: --param ssp-buffer-size=1 -fstack-protector-all переполнения индексов в масивах должны отлавливатся, проверьте и отпишите.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> 1. Вы делаете туже ошибку, что создатели Rust. Гарантии безопасности может дать > только ядро OS и процессор. При этом компилятор очень важен для > обеспечения безопасности. Но компилятор не есть ключ к гарантиям безопасности. > 2. Вы недоконца поняли проактивную защиту, она не только заменяет дыру на > DoS. Да прога упадет, но В ЛОГАХ останется подробная запись о > причинах и месте падения. Логи с падением шлем разрабам и они > фиксят дыру. Баги при внедрении проактивной защиты не остаются, они все > быстро находятся и исправляются. > 3. GCC очень сложный, он старается защитить компилируемые проги, в некоторых местах, > защищает от переполнения буфера: -D_FORTIFY_SOURCE=2. Целесообразно внедрить -D_FORTIFY_SOURCE=3. > -fPIC преобразовывает код в позиционно независимый, а -fPIE собирает позиционно независимый > бинарь, который в ASLR ядре OS, грузится по разным адресам в > памяти и значительно усложняет атаки. Делает их обнаруживаемыми, с записями в > логах. > Техника SSP вставляет "канарейки" сигнализирует о переполнении стека. > 4. Если интересует компилятор проверяющий индексы можно посмотреть Fortran, Pascal. Для > С-ишных прог попробуйте собрать GCC с: --param ssp-buffer-size=1 -fstack-protector-all > переполнения индексов в масивах должны отлавливатся, проверьте и отпишите.
	Введите код, изображенный на картинке: