Rsa97

Защита от переполнения буфера - это не пара магических инструкций, а проверка при работе с массивами или выделенными участками памяти (впрочем, для C/C++/ASM это примерно одно и то же), что указатель не выходит за границу выделенной памяти. Реализовано может быть самыми разными способами. Например, в C есть функция strncpy, которая делает всё то же самое, что strcpy, только проверяя, что копируется не более заданного количества байтов. Если вы правильно передали в неё размер буфера, то переполнения при операции не произойдёт.
Так что на языках низкого уровня только проверки, проверки и ещё раз проверки.

Прочитайте, чем отличается imul cx,bx в вашем вопросе от imil cx на вашей картинке.

Вам же английским по чёрному пишет - неверная инструкция в строке 1 файла hello_1.ASM.
Учитесь читать.

satrt !== start

eax - 32-битный регистр.
dw - 16-битное значение.
Логично, что они не the same size

(x_kx_{k − 1}...x₁x₀)_n = x₀ * n⁰ + x₁ * n¹ + ... + x_{k − 1} * n^{k − 1} + x_k * n^k
Где x₀...x_k - цифры числа в системе счисления по основанию n.
13546₇ = 1 * 7⁴ + 3 * 7³ + 5 * 7² + 4 * 7¹ + 6 * 7⁰ = 3709₁₀
3709₁₀ = 2 * 12³ + 1 * 12² + 9 * 12¹ + 1 * 12⁰ = 2191₁₂

У вас A1, B1, C1 в регистры святым духом попадают?

Всё достаточно просто. У нас целый мегабайт памяти, нам надо 20 бит адреса, а регистры 16-битные.
Для того, чтобы можно было оптимально выделять память, разобьём её на блоки по 2^20-16 = 16 байт. Пронумеруем эти блоки, получим 16-битные номера.
Теперь для выделения фрагмента памяти мы можем взять номер первого выделяемого 16-байтного блока и количество блоков. Каждый такой выделенный фрагмент памяти назовём сегментом, а номер первого выделяемого блока - адресом сегмента. Внутри сегмента мы можем использовать 16-битную адресацию, что даёт размер сегмента в 64KB.
Но оперативная память ничего не знает о сегментах, ей нужен 20-битный адрес. Поэтому мы берём адрес сегмента, умножаем его на размер блока (16 байт) и прибавляем адрес внутри сегмента.

Просто компиляция без оптимизации.

А что вы ожидаете получить от функции, выводящей строку, если передали ей адрес, по которому находится не строка.
Естественно, что функция интерпретирует данные по переданному адресу как строку, то есть последовательность кодов символов.
Хотите вывести число - сначала преобразуйте его в строку.

А почему они не должны "срабатывать"? Что может этому помешать?
Просто представьте, что в AX записана единица и выполните всю программу в уме по шагам.

А при чём тут объектный код?
У вас исходный код на ассемблере и машинный код.
Перевод очень простой.
Берём таблицу опкодов и видим, что команде ADD r16, r16 соответствуют опкоды 01 и 03. Берём любой из них.
Второй байт формируется из двух битов режима Mod, для операции регистр-регистр это 11, и битов с номерами регистров AX - 000 и BX - 011. Записав полностью получаем 11000011 или C3.

shr - освободившиеся биты заполняются нулями
sar - освободившиеся биты заполняются значением знакового бита