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

Журнал «Хакер» опубликовал разбор необычной проверки длины строки в неизвестном бинарнике на C++, где беззнаковая арифметика меняет смысл сравнения. Автор восстанавливает логику по инструкциям SUB, CMP и JBE и показывает, как процессорные флаги влияют на ветвление.

Материал строится вокруг практики: регистры и флаги состояния отслеживаются в GDB, а выводы затем подтверждаются в дизассемблере Ghidra. Отдельно разбираются переполнение, дополнительный код и особенности условных переходов в x86-64.

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

Практическая ценность — в демонстрации того, как беззнаковые операции ломают интуитивные ожидания при чтении ассемблера. Для читателей это повод перепроверять логику проверок в бинарниках, а не доверять первому впечатлению от декомпилятора.

Комментарии (0)

Чтобы комментировать, нужно войти.