Восстановление модели алгоритма — наиболее часто решаемая задача в процессе анализа бинарного кода программ. Одной из важнейших задач при этом является идентификация интерфейса функционального блока трассы. В статье описываются разработанные алгоритмы поэтапного решения задачи идентификации интерфейса и обосновывается применение результатов работы алгоритмов в рамках системы динамического анализа бинарного кода TrEx.
динамический анализ бинарного кода, трассы исполнения, восстановление модели алгоритма