Next generation intermediate representations for binary code analysis

Authors: M. S. Gorbachev, Vartan A. Padaryan, D. V. Manushin, Mikhail Aleksandrovich Solovev, M. G. Bakulin, S. S. Panasenko

Source: Труды Института системного программирования РАН, Vol 30, Iss 6, Pp 39-68 (2019)

Subject Terms: 03 medical and health sciences, компиляторные технологии, 0302 clinical medicine, статический анализ, Electronic computers. Computer science, обратная инженерия по, 0202 electrical engineering, electronic engineering, information engineering, анализ бинарного кода, QA75.5-76.95, 02 engineering and technology, абстрактная интерпретация, динамический анализ, символьное выполнение

Access URL: http://ispras.ru/proceedings/docs/2018/30/6/isp_30_2018_6_39.pdf
https://doaj.org/article/262e8f7b72194830bb81c96c7baaab78
https://link.springer.com/content/pdf/10.1134/S0361768819070107.pdf