Middle-end
• Производит анализ стека и на основе него генерирует локальные
переменные,
• На основе анализа потока данных предоставляет резонеру потока
выполнения информацию о переходах, которую невозможно
получить на этапе дизассемблирования,
• Оптимизирует код для удаления лишних переменных,
неиспользуемого кода и пр.,
• Обнаруживает конструкции кода, соответствующие определённой
семантике и заменяет их соответствующими выражениями.