Приветствую...новичок на этом форуме, если что упущу - сильно не пинайте...
по ряду причин пришлось заняться реверсом мелкомягкой библиотеки компрессии файлов для WinCE...опыта в реверсе не то, чтобы много, но набираюсь...столкнулся со следующей ситуацией...
имеем дизассемблированный IDA кусок функции, назовем ее CompressBlock:

тут мы четко видим, что в стеке переменные v10 и v11 идут друг за другом: [ebp+var_4] и [ebp+var_8]. Т.к. в VS я не нашел, как отображать смещения в стеке, то сравнил по адресам: [ebp+var_8] = 0054EDEC, [ebp+var_4] = 0054EDF0. Разница - 4 байта.
В функции LZInitialize метод qmemcpy перемещает 8 байт (8u) с адреса переменной v10 (&v10) по адресу первого аргумента функции. Соответственно перемещаются переменные v10 и v11 (т.к. они оба int и имеют размерность 4 байта).

теперь смотрим, как HexRays декомпилировал это место:

в принципе, все нормально...но вот, что происходит, когда этот код компилирует VS:

и вроде все нормально, кроме того, что разница между адресами - [v11] = 0x0029E9A0, [v10] = 0x0029E998 - 8 байт! И когда метод qmemcpy в функции LZInitialize перемещает 8 байт с адреса переменной v10, то перемещается только переменная v10 и пустота за ней...

вопрос: как обойти такую ситуацию? почему VS помещает переменные в стек не друг за другом, как описано в коде? можно на это как-то повлиять настройками компилятора?

| Сообщение посчитали полезным:

Объявите структуру.

| Сообщение посчитали полезным:

Возможно там была структура и тогда подойдет такой костыль

#pragma pack(push, 1)
struct Foo
{
unsigned int v10;
unsigned int v11;
};
#pragma pack(pop)

struct Foo x;
x.v10 = 10;
x.v11 = 0x1000;

v7 = LZInitialize((int)(v6 + 7), &x, sizeof(struct Foo));

-----
127.0.0.1, sweet 127.0.0.1

| Сообщение посчитали полезным: madlord

OKOB пишет:
#pragma pack(push, 1)

Наверное, можно даже и без этого.
Данные-то DWORD, по DWORD и выравнивание.
.. хотя, конечно, не повредит

| Сообщение посчитали полезным:

dosprog пишет:
Наверное, можно даже и без этого.
Больше сила привычки. Всегда обрамляю определение структур, когда перетягиваю код из АСМ в С. Мало ли что по ходу прийдется добросить в структуры, потом втыкать почему не работает. Если у исходной структуры было другое выравнивание, просто разбавляю char unk1[N1]; и т.п.

-----
127.0.0.1, sweet 127.0.0.1

| Сообщение посчитали полезным:

большое спасибо...значит это последствия того, что IDA не видит структуры...
я, перед тем как решил разобраться в ситуации, обошел ее таким образом:

так можно или лучше всё же структуру?...

| Сообщение посчитали полезным:

а как лучше сахар насыпать в чашку, ложкой или руками ?

| Сообщение посчитали полезным:

madlord пишет:
так можно или лучше всё же структуру?...

То же самое.
Но структура лучше и ближе к первоначальной логике.

А структуры дизассемблер "видит" тогда, когда это явно следует
из описаний аргументов стандартных функций, которые используют эти данные.



| Сообщение посчитали полезным: madlord