[IDA PRO] Интересное выражение

@Fusix · Регистрация: 08.10.2010

Студворк — интернет-сервис помощи студентам

Реверсил драйвер. Наткнулся на выражение:

C++
1
2
3
   
v1 = &Irp1->Tail.Overlay.UnkUnion.CurrentStackLocation[-1];
*v1 = 12;

Собственно как его понимать? Что значит [-1]? (CurrentStackLocation - cтруктура)
И чему второе присваивает?
Спрашиваю, т.к. нет возможности проверить на практике. Имеется только код.

@Nick Alte · 12.07.2012, 11:18

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

@CheshireCat · 12.07.2012, 17:59

Судя по коду,
CurrentStackLocation - это некий массив. Берется "элемент", имеющий тот же тип, что и элементы массива, и непосредственно "предшествующий" началу этого массива.

@talis · 17.07.2012, 16:50

Смущает дословный перевод CurrentStackLocation - "текущее положение в стеке". Выглядит как будто берётся адрес текущего положения в стеке (esp?) и идёт обращение к элементу в стеке ниже текущего. Если сделать предположение (только предположение!), что CurrentStackLocation - это адрес первого "незанятого" элемента стека, то CurrentStackLocation[ -1 ] - это верхушка стэка. Но странное тогда у него мировоззрение, у декомпилятора. Абстракционизм, сюрреализм...

Добавлено через 22 секунды
Откуда он вообще взял это имя - CurrentStackLocation?

Новые блоги и статьи Все статьи Все блоги /
Модель здравосоХранения 6. ESG-повестка и устойчивое развитие; углублённый анализ кадрового бренда anaschu 31.03.2026 В прикрепленном документе раздумья о том, как можно поменять модель в будущем	10 пpимет, которые всегда сбываются Maks 31.03.2026 1. Чтобы, наконец, пришла маршрутка, надо закурить. Если сигарета последняя, маршрутка придет еще до второй затяжки даже вопреки расписанию. 2. Нaдоели зима и снег? Не надо переезжать. Достаточно. . .	Перемещение выделенных строк ТЧ из одного документа в другой Maks 31.03.2026 Реализация из решения ниже выполнена на примере нетипового документа "ВыдачаОборудованияНаСпецтехнику" с единственной табличной частью "ОборудованиеИКомплектующие" разработанного в конфигурации КА2. . . .	Functional First Web Framework Suave DevAlt 30.03.2026 Sauve. IO Апнулись до NET10. Из зависимостей один пакет, работает одинаково хорошо как в режиме проекта так и в интерактивном режиме. из сложностей - чисто функциональный подход. Решил. . .
Автоматическое создание документа при проведении другого документа Maks 29.03.2026 Реализация из решения ниже выполнена на нетиповых документах, разработанных в конфигурации КА2. Есть нетиповой документ "ЗаявкаНаРемонтСпецтехники" и нетиповой документ "ПланированиеСпецтехники". В. . .	Настройка движения справочника по регистру сведений Maks 29.03.2026 Решение ниже реализовано на примере нетипового справочника "ТарифыМобильнойСвязи" разработанного в конфигурации КА2, с целью учета корпоративной мобильной связи в коммерческом предприятии. . . .	Автозаполнение реквизита при выборе элемента справочника Maks 27.03.2026 Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. При выборе "Спецтехники" (Тип Справочник. Спецтехника), заполняется. . .	Сумматор с применением элементов трёх состояний. Hrethgir 26.03.2026 Тут. https:/ / fips. ru/ EGD/ ab3c85c8-836d-4866-871b-c2f0c5d77fbc Первый документ красиво выглядит, но без схемы. Это конечно не даёт никаких плюсов автору, но тем не менее. . . всё может быть. . .

@Nick Alte 1675 / 1047 / 174 Регистрация: 27.09.2009 Сообщений: 1,945
	12.07.2012, 11:18
	Декомпилятор в иде, конечно, хороший, но нельзя ожидать от него всегда корректных результатов. Я бы посоветовал внимательно приглядеться к ассемблерному коду, который сложили в такую причудливую конструкцию и попробовать определить его смысл самостоятельно. По поводу второго вопроса: судя по всему, v1 - указатель на целочисленный тип, в который заносится адрес некоего элемента из Tail.Overlay, в этот элемент во второй строчке запись и происходит. 1

@CheshireCat 2924 / 1274 / 114 Регистрация: 27.05.2008 Сообщений: 3,465
	12.07.2012, 17:59
	Судя по коду, CurrentStackLocation - это некий массив. Берется "элемент", имеющий тот же тип, что и элементы массива, и непосредственно "предшествующий" началу этого массива. 1

@talis 794 / 546 / 61 Регистрация: 11.05.2010 Сообщений: 1,298 Записей в блоге: 1
	17.07.2012, 16:50
	Смущает дословный перевод CurrentStackLocation - "текущее положение в стеке". Выглядит как будто берётся адрес текущего положения в стеке (esp?) и идёт обращение к элементу в стеке ниже текущего. Если сделать предположение (только предположение!), что CurrentStackLocation - это адрес первого "незанятого" элемента стека, то CurrentStackLocation[ -1 ] - это верхушка стэка. Но странное тогда у него мировоззрение, у декомпилятора. Абстракционизм, сюрреализм... Добавлено через 22 секунды Откуда он вообще взял это имя - CurrentStackLocation? 0