galenkane ia sdm 3c, там где про vmx: Наверно тайминг должен отличаться на вирте. Если попробовать посмотреть за прерываниями, таким образом:...
Эксплойт нашелся CVE-2018-8897:
Можно на этом построить дизасм назад. Проход дизом длин назад от -15, маркировка инструкций ветви как сходящейся/расходящейся(оптимизация), и...
Improvements on Hiding x86-64 Instructions by Interleaving
Попалась свежая публикация: Tiaozhuan: A General and Efficient Indirect Branch Optimization for Binary Translation --> Optimizing Indirect...
Нужно ввести дополнительное условие, отменяющее проход по линиям(idle): Граф ограничен последним коротким ветвлением. Тогда не будет паразитного...
Графически так выглядит: L5: J L6 L3: J L4 L1: J* L2: J L1 L4: J L5 L6: [ATTACH] 4 итерации если зависимость как показано стрелками. Помимо...
galenkane Привет. Спасибо за анализ :good2: Номер свободной линии - проход по графу от j.Flow до j, для всех ветвлений там M + j.Mforw +...
Привет. Решил вернуться к старой не решенной задаче(все те же визоры). База как это использует переключение контекста на каждой итерации,...
galenkane Во первых массив должен быть станичный(0x1000; *256, *512 - не рабочее), у вас это так. Во вторых если пройти по массиву clflush это...
В общем работает rsb-спекуляция: [ATTACH] В семпле сохраняется dtsc в буфер, поведение зависит от его выравнивания, не понято как. Это не...
Всё же дельта tsc на одной инструкции с выборкой значительна. Pages BYTE 1000h*256 dup (?) mov ebx,256 .repeat mov ecx,ebx...
Так ведь фикс в ядре, а кодес юзер. galenkane Выше амд док по защите, почти все методы - фикс юзер кода, eg: вставка lfence. Фикс ядра защищает...
В доках про такие атаки индексация массива разная: 1: movzx (%rcx), %rax 2: shl $12, %rax 3: movq (%rbx ,%rax ,1) , %rbx Reinforcing Meltdown...
Выше ссылка на список спекул. атак от амд. Помню тут была тема по spectre, надо бы поискать. Вот только я сомневаюсь что rdtsc может замерять...
.text:000000014040FCCF lfence .text:000000014040FCD2 test byte ptr gs:278h, 1 .text:000000014040FCDB...
sdm Стало понятно. Эта серия нужна для очистки буфера(return stack buffer). Макс размер - 32 записи, поэтому и call's тоже 32. Пример кода...
miilalex Вот тут есть: define BUFFERSIZE 512 char sz[BUFFERSIZE];
Сорян, аргументы перепутал :) Вот печать 0x500 символов: [ATTACH]
Через трансляцию. [ATTACH]
Имена участников (разделяйте запятой).
