На днях довелось чинить одну из программ которую я поддерживаю. Я знал что код падает в определенном модуле с Access violation ошибкой. Очень выборочно падает. Тоесть тостер не мог мне сказать как повторить этот баг. Вместо этого мне дали имя файла где этот код падает и примерное место где. Также дали:
Состояние регистров
EAX: 0 EBX: 0 ECX: 334068 EDX: 334068 ESI: 38ae908 EDI: 32 ESP: 12e65c EBP: 12e6d8 EIP: 684356a8
Код на ассемблере
6843569e 85c0 test eax,eax
684356a0 6a32 push 0x32
684356a2 5f pop edi
684356a3 7510 jnz 684356b5
684356a5 ff7508 push dword ptr [ebp+0x8]
684356a8 8b0b mov ecx,[ebx]
684356aa e871f5ffff call 68434c20
684356af 84c0 test al,al
684356b1 7409 jz 684356bc
684356b3 8bc1 mov eax,ecx
684356b5 e80af5ffff call 68434bc4
684356ba 8bf8 mov edi,eax
684356bc ff7648 push dword ptr [esi+0x48]
А также строчку на ассемблере где падает
684356a8 8b0b mov ecx,[ebx]
Я давно ничего не писал на ассемблере и было приятно вспомнить. Тем более что баг серьезный и было непонятно как его найти так что надо было использовать все что есть.
Я не помню всех команд но по push 0x32 видно что в стэк занесена константа которая в десятиричной системе представляется как 50. Дальше идет сравнение того что в регистре eax с нулем. И если 0 то идет прыжок на адрес 684356b5 потом сохраняется значение локальной переменной и ... мы падаем на mov ecx,[ebx] Эта строчка копирует содержимое по адресу который находится в регистре ebx в регистр ecx. Смотрим что у нас в евх, ага бинго! 0! Теперь ясно. Нулевой указатель. Поэтому и падаем. Процесс решил залезть в чужое адресное пространство. Дальше я нашел это место в С-шном коде. Оно выглядит примерно так:
void foo(X* pX, Y* pY)
{
if(pX)
{
if (pY)
{
use(pY);
}
else
{
int err = 50;
if (pX->error != 0)
{
err = bar(pX->error);
}
else
{
if(boo(pY->error))
{
err = bar(pY->error);
}
}
}
}
}
Ну, господа, программисты на С. Видите где ошибка?
В резюме добавлю что во многих универах на факультетах информатики перестали преподавать не то что ассемблер а даже С и С++. Теперь один сплошной managed code: Java, .NET и тд. Но это одна сторона медали - темная. Другая, это то что у тех кто знает ассемблер и С - неплохая job security. Или как это по русски? Уверенность в рабочем месте?
