Аннотация
Необходимость анализа бинарного кода для обеспечения безопасности. Задачи в анализе бинарного кода: восстановление алгоритмов, восстановление типов данных, задачи декомпиляции. Повышение уровня представления. Статический и динамический подходы. Анализ трасс.
Слайды
Литература
В.А. Падарян, А.И. Гетьман, М.А. Соловьев, М.Г. Бакулин, А.И. Борзилов, В.В. Каушан, И.Н. Ледовских, Ю.В. Маркин, С.С. Панасенко. Методы и программные средства, поддерживающие комбинированный анализ бинарного кода // Труды Института системного программирования РАН Том 26. Выпуск 1. - 2014 г. - С. 251-276
G. Balakrishnan, T. Reps. WYSINWYX: What You See Is Not What You eXecute // ACM Trans. Program. Lang. Syst. 32, 6, Article 23. - August 2010. - 84 pages
Трошина Е. Н., Чернов А. В. Инструментальная среда восстановления исходного кода программы - декомпилятор TyDec // Прикладная информатика. - 2010 №4 .- С. 73-97
C. Eagle. The IDA Pro Book: The Unofficial Guide to the World's Most Popular Disassembler // No Starch Press San Francisco, CA, USA © 2008
Дополнительная литература
X.Wang, N. Zeldovich, M. F. Kaashoek, A. Solar-Lezama. Towards optimization-safe systems: analyzing the impact of undefined behavior // In Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles. - 2013. - С. 260-275
D. Gopan, T. Reps. Low-level library analysis and summarization // In Proceedings of the 19th international conference on Computer aided verification. - 2007. - С. 68-81