Для цитирования:

Борисов П.Д., Косолапов Ю.В. О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований. Моделирование и анализ информационных систем. 2021;28(1):38-51. https://doi.org/10.18255/1818-1015-2021-1-38-51

For citation:

Borisov P.D., Kosolapov Yu.V. On Characteristics of Symbolic Execution in the Problem of Assessing the Quality of Obfuscating Transformations. Modeling and Analysis of Information Systems. 2021;28(1):38-51. (In Russ.) https://doi.org/10.18255/1818-1015-2021-1-38-51