Дан обзор основных подходов к восстановлению объектов данных, используемых в современных инструментах анализа бинарного кода. Описаны четыре основные проблемы при реализации инструментов: восстановление переменных, представление типов внутри алгоритма, выявление источников получения типов и распространение типов.
восстановление переменных, динамический анализ, статический анализ, бинарный код