отметили
1
человек
голосовать
1
человек
Странная математика. Разбираем беззнаковую арифметику и флаги состояния процессораxakep.ru

Журнал «Хакер» опубликовал разбор необычной проверки длины строки в неизвестном бинарнике на C++, где беззнаковая арифметика меняет смысл сравнения. Автор восстанавливает логику по инструкциям SUB, CMP и JBE и показывает, как процессорные флаги влияют на ветвление.
Материал строится вокруг практики: регистры и флаги состояния отслеживаются в GDB, а выводы затем подтверждаются в дизассемблере Ghidra. Отдельно разбираются переполнение, дополнительный код и особенности условных переходов в x86-64.
Новость ориентирована на подписчиков и подана как учебный кейс по реверс-инжинирингу. По сути это не событие, а техническая статья с пошаговой методикой анализа.
Практическая ценность — в демонстрации того, как беззнаковые операции ломают интуитивные ожидания при чтении ассемблера. Для читателей это повод перепроверять логику проверок в бинарниках, а не доверять первому впечатлению от декомпилятора.
Комментарии (0)
Чтобы комментировать, нужно войти.