Исходное сообщение
"Microsoft открыл CHERIoT, аппаратное решение для повышения б..." Отправлено непох, 01-Мрт-23 14:45
Никак. При наличии дырени для эксплойта нужно будет поприседать чуть больше, в том числе с добавленными инструкциями. Вероятность появления дырени "в среднем по большине" действительно ниже, и вроде-бы труднее с ROP, насколько труднее - нужно посмотреть. Обратная сторона медали в том, что все принципиально зависит от компилятора, и то как он понимает исходный код в каждом конкретном случае. Уже понятно что у "черта" (aka CHERIoT) много общего с Prefast и Microsoft Static Analyzer (гибрида из clang-analyzer и prefast, который сейчас в Visual Studio). Так вот, все релизы Microsoft Static Analyzer очень-очень сильно зависят от анотирования функций и имеют баги возрастом 3-5 лет. Поэтому для любых не hello-world проектов генерируют массу ложных предупреждений. Резолвить эти предупреждения иногда не возможно в принципе (ибо логические баги в анализаторе), поэтому приходится просто подавлять. Как себя в этих случаях поведет этот "черт" не ясно, 50/50 что будет глючить. По-любому, похожесть на Microsoft Static Analyzer потребует переписывать весь действительно сложный сишный код. А с учетом скорости работы фуфла рикс-5 с такими проверками в железе - затея не взлетит .

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> Никак. > При наличии дырени для эксплойта нужно будет поприседать чуть больше, в том > числе с добавленными инструкциями. > Вероятность появления дырени "в среднем по большине" действительно ниже, и вроде-бы труднее > с ROP, насколько труднее - нужно посмотреть. > Обратная сторона медали в том, что все принципиально зависит от компилятора, и > то как он понимает исходный код в каждом конкретном случае. > Уже понятно что у "черта" (aka CHERIoT) много общего с Prefast и > Microsoft Static Analyzer (гибрида из clang-analyzer и prefast, который сейчас в > Visual Studio). > Так вот, все релизы Microsoft Static Analyzer очень-очень сильно зависят от анотирования > функций и имеют баги возрастом 3-5 лет. Поэтому для любых не > hello-world проектов генерируют массу ложных предупреждений. Резолвить эти предупреждения > иногда не возможно в принципе (ибо логические баги в анализаторе), поэтому > приходится просто подавлять. Как себя в этих случаях поведет этот "черт" > не ясно, 50/50 что будет глючить. > По-любому, похожесть на Microsoft Static Analyzer потребует переписывать весь действительно > сложный сишный код. А с учетом скорости работы фуфла рикс-5 с > такими проверками в железе - затея не взлетит .
	Введите код, изображенный на картинке: