Для цитирования:
Соловьев М.А., Бакулин М.Г., Макаров С.С., Манушин Д.В., Падарян В.А. Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода. Труды Института системного программирования РАН. 2019;31(6):65-88. https://doi.org/10.15514/ISPRAS-2019-31(6)-4
For citation:
Solovev M.A., Bakulin M.G., Makarov S.S., Manushin D.V., Padaryan V.A. Decoding of machine instructions for abstract interpretation of binary code. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(6):65-88. (In Russ.) https://doi.org/10.15514/ISPRAS-2019-31(6)-4