Техника обхода SMEP-защиты при эксплуатации уязвимостей ядра Linux
Метод построен на основе организации подстановки последовательности инструкций в исполняемую область JIT-компилятора (например, подсистемы BPF - Berkeley Packet Filter), генерирующего код на основе входных данных, которые могут контролироваться атакующим. Так как JIT-компилятор контролирует генерацию кода, так просто подставить инструкции не получится. Но можно воспользоваться тем, что входящие данные используются в качестве аргументов генерируемых инструкций. Например, для входных данных "$0xa8XXYYZZ" и "$0xa8PPQQRR" будет сгенерирован код:
b8 ZZ YY XX a8 mov $0xa8XXYYZZ, %eax b8 RR QQ PP a8 mov $0xa8PPQQRR, %eax b8 ...
Если пропустить байт с кодом инструкции mov (b8) и передать управление на следующий за ним байт (ZZ) будет выполнен машинный код "ZZ YY XX". При этом переданные в хвосте данные "a8" будут обработаны как ничего не значащая команда test с аргументом из кода команды mov (b8):
ZZ YY XX (подконтрольные атакующему инструкции) a8 b8 test $0xb8, %al RR QQ PP (подконтрольные атакующему инструкции) a8 b8 test $0xb8, %al
Таким образом у злоумышленника появляется возможность формирования произвольной последовательности трёхбайтовых команд, выполняемой в пространстве ядра. При эксплуатации уязвимости, управление может быть передано на данные команды, в которых можно повысить привилегии процесса или отключить SMEP и передать управление на обычный shell-код в пространстве пользователя. Рабочий прототип реализации атаки на JIT-компилятор BPF и демонстрационный модуль ядра для передачи управления по произвольному адресу в пространстве ядра можно найти на данной странице.
Источник: http://www.opennet.ru/opennews/art.shtml?num=35375
|
0 | Tweet | Нравится |
|