jump oriented programming защита

  1. Сергей Попов

    На проверке Weird Machines и ROP/JOP эксплуатация: от формальной теории к обходу CFI

    При анализе CTF-бинаря, скомпилированного с Clang CFI и полным ASLR, ropper выдаёт больше тысячи потенциальных гаджетов. Прогоняю через cfgFilterGadgets - фильтрацию по допустимым целям CFI - остаётся меньше десяти. И этого хватает для рабочей цепочки. Вот тут weird machines и ROP JOP...