Что означает HIGHLOW в разобранном двоичном файле?

Чтобы применить исправление, дельта рассчитывается как разница между
предпочтительный базовый адрес и база, где изображение на самом деле
загружен.

Основная идея заключается в том, что при выполнении исправления по какому-либо адресу, мы должны знать

1. какая память должна быть изменена (поле «смещение»)
2. какое значение необходимо для его перемещения (значение «дельта»)
3. какие части перемещенных данных и значения дельты использовать (поле «тип»)

Вот некоторые возможные значения поля типа

• HIGH — добавить старшее слово (16 бит) дельты к 16-битному значению со смещением
• LOW — добавить нижнее слово delta к значению «offset»
• HIGHLOW — добавить полную дельту к 32-битному значению в «смещении»

Другими словами, HIGHLOW type сообщает программе, что она выполняет исправление по смещению «offset» со страницы этого блока перемещения * и что существует двойное слово, которое необходимо изменить, чтобы иметь правильно работающий исполняемый файл.

* все записи перемещения сгруппированы в блоки, и у каждого блока есть страница, к которой применяются его записи

Допустим, у вас есть эта инструкция в вашем коде:

section .data
message: "Hello World!", 0

section .code
...
mov eax, message
...

Вы запускаете ассемблер и сразу после него запускаете дизассемблер. Теперь ваш код выглядит так:

mov eax, dword [0x702000]

Вы сейчас любопытно, почему это 0x700000и когда вы смотрите в дамп файла, вы видите, что

ImageBase:      0x00700000

Теперь вы понимаете, откуда взялся этот номер, и вы готовы запустить исполняемый файл.
Загрузчик, который загружает исполняемые файлы в память и создает для них адресное пространство, обнаруживает, что память 0x700000 недоступен, и он должен поместить этот файл в другое место. Решает, что 0xf00000 будет в порядке и скопирует содержимое файла туда.

Но ваша программа была связана с работой только с данными о 0x700000 и у компоновщика не было возможности узнать, что его выходные данные будут перемещены. Из-за этого загрузчик должен делать свою магию. Это

1. исчисляет дельта значение — старый адрес (база изображений) 0x700000 но хочет 0xf00000 (предпочтительный адрес). Вычитает одно из другого и получает 0x800000 в результате.
2. добирается до .reloc раздел файла
3. проверяет, есть ли еще одна страница (4 КБ данных) для перемещения. Если нет, то оно продолжается в направлении точки входа файла.
   4. для каждого перемещения для текущей страницы, это
4. получает данные по смещению перемещения
5. добавляет значение дельты (в виде состояний поля типа)
6. помещает новое значение в смещение перемещения
7. продолжается на шаге 3

Есть также больше типов записи перемещения, и некоторые из них зависят от архитектуры. Чтобы увидеть полный список, прочитайте «Формат исполняемых файлов Microsoft Common и Common Object File, раздел 6.6.2. Типы исправлений».