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

ВИШНЯКОВ А.В., КОБРИН И.А., ФЕДОТОВ А.Н. Поиск ошибок в бинарном коде методами динамической символьной интерпретации. Труды Института системного программирования РАН. 2022;34(2):25-42. https://doi.org/10.15514/ISPRAS-2022-34(2)-3

For citation:

VISHNYAKOV A.V., KOBRIN E.A., FEDOTOV A.N. Error detection in binary code with dynamic symbolic execution. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2022;34(2):25-42. https://doi.org/10.15514/ISPRAS-2022-34(2)-3