Странная математика. Разбираем беззнаковую арифметику и флаги состояния процессора
Хакер ·
Для подписчиков Сегодня мы разберем странную проверку длины строки в неизвестном бинарнике C++ и выясним, как беззнаковая арифметика меняет ее смысл. Восстановим логику по инструкциям SUB, CMP и JBE, проследим за регистрами и флагами процессора в GDB, а затем подтвердим выводы в Ghidra. Заодно разберемся с переполнением, дополнительным кодом и особенностями условных переходов x86-64.