Bangert et al. на WOOT собрали Тьюринг-полную машину внутри page fault handler x86 — ни одна инструкция программы не исполнялась. Oakley и Bratus сделали троян из DWARF-метаданных. CFG и CFI бессильны против вычислений, которых нет в...Weird machines: обнаружение скрытых вычислений через symbolic execution, fuzzing и формальные методы
Источник: codeby.net