🔍 Странности беззнаковой арифметики и флаги состояния процессора

В данной статье рассматривается сложность беззнаковой арифметики в C++ и ее влияние на проверку длины строки в бинарных файлах. Используя инструменты GDB и Ghidra, исследуются инструкции SUB, CMP и JBE, а также анализируются регистры и флаги процессора. Подробно рассматриваются проблемы переполнения, дополнительный код и особенности условных переходов на архитектуре x86-64.