ИСТИНА

Доклад посвящен вопросу выбора удобного внутреннего представления, используемого при решении задач поиска дефектов и НДВ в бинарном коде программ. Рассматриваются ключевые свойства представлений, влияющие на возможности и ограничения дальнейшего анализа. В задаче поиска дефектов промежуточное представление связывает бинарную трансляцию с построением системы ограничений для SMT-решателя. В задаче поиска НДВ представление на основе восставленных зависимостей по данным и управлению между машинными инструкциями используется при построении аннотированной блок-схемы.