Деобфускация Control Flow Flattening средствами символьного исполнения | Прикладная дискретная математика. Приложение. 2021. № 14. DOI: 10.17223/2226308X/14/29

Деобфускация Control Flow Flattening средствами символьного исполнения

Метод обфускации Control Flow Flattening заменяет в коде программы все условные и безусловные переходы на переход в специальный управляющий блок - диспетчер, который определяет, куда на самом деле будет передано управление в программе. Это делает невозможным исследователю быстро определить, в какой последовательности исполняется код в программе. Предлагается алгоритм восстановления исходной логики программ, обфусцированных этим методом. В основе алгоритма лежит символьное исполнение.

Скачать электронную версию публикации

Загружен, раз: 29

Ключевые слова

реверс-инжиниринг, символьное исполнение, обфускация, control flow flattening

Авторы

ФИО	Организация	Дополнительно	E-mail
Лебедев Владимир Витальевич	Национальный исследовательский Томский государственный университет	студент	d3fl4t3@gmail.com

Всего: 1

Ссылки

Shoshitaishvili Y., Wang R., Salls C., etal. SOK: (State of) The art ofwar: Offensive techniques in binary analysis // IEEE Symp. Security Privacy. 2016. P. 138-157.

Kan Z., Wang H., Wu L., et al. Automated Deobfuscation of Android Native Binary Code. 2020. https://arxiv.org/pdf/1907.06828.pdf.

Peter Garba, Matteo Favaro SATURN - software deobfuscation framework based on LLVM // 3rd Intern. Workshop Software Protection, Nov 2019, London. https://arxiv.org/abs/1909. 01752.

Wang C., Hill J., Knight J., and Davidson J. Software Tamper Resistance: Obstructing Static Analysis of Programs. Technical Report. University of Virginia, USA, 2000.

Boyer R. S., Elspas B., and Levitt K. N. SELECT - a formal system for testing and debugging programs by symbolic execution // Proc. Intern. Conf. Reliable Software. Los Angeles, California: Association for Computing Machinery, 1975. P. 234-245.