Udostępnij przez


Komentowana dezasemblacja x86

W poniższej sekcji przedstawiono przykład dezasemblacji.

Kod źródłowy

Poniżej przedstawiono kod funkcji, która zostanie przeanalizowana.

HRESULT CUserView::CloseView(void)
{
    if (m_fDestroyed) return S_OK;

    BOOL fViewObjectChanged = FALSE;
    ReleaseAndNull(&m_pdtgt);

    if (m_psv) {
        m_psb->EnableModelessSB(FALSE);
        if(m_pws) m_pws->ViewReleased();

        IShellView* psv;

        HWND hwndCapture = GetCapture();
        if (hwndCapture && hwndCapture == m_hwnd) {
            SendMessage(m_hwnd, WM_CANCELMODE, 0, 0);
        }

        m_fHandsOff = TRUE;
        m_fRecursing = TRUE;
        NotifyClients(m_psv, NOTIFY_CLOSING);
        m_fRecursing = FALSE;

        m_psv->UIActivate(SVUIA_DEACTIVATE);

        psv = m_psv;
        m_psv = NULL;

        ReleaseAndNull(&_pctView);

        if (m_pvo) {
            IAdviseSink *pSink;
            if (SUCCEEDED(m_pvo->GetAdvise(NULL, NULL, &pSink)) && pSink) {
                if (pSink == (IAdviseSink *)this)
                    m_pvo->SetAdvise(0, 0, NULL);
                pSink->Release();
            }

            fViewObjectChanged = TRUE;
            ReleaseAndNull(&m_pvo);
        }

        if (psv) {
            psv->SaveViewState();
            psv->DestroyViewWindow();
            psv->Release();
        }

        m_hwndView = NULL;
        m_fHandsOff = FALSE;

        if (m_pcache) {
            GlobalFree(m_pcache);
            m_pcache = NULL;
        }

        m_psb->EnableModelessSB(TRUE);

        CancelPendingActions();
    }

    ReleaseAndNull(&_psf);

    if (fViewObjectChanged)
        NotifyViewClients(DVASPECT_CONTENT, -1);

    if (m_pszTitle) {
        LocalFree(m_pszTitle);
        m_pszTitle = NULL;
    }

    SetRect(&m_rcBounds, 0, 0, 0, 0);
    return S_OK;
}

Kod zestawu

Ta sekcja zawiera zanotowany przykład dezasemblacji.

Funkcje korzystające z rejestru ebp jako wskaźnika ramki zaczynają się w następujący sposób:

HRESULT CUserView::CloseView(void)
SAMPLE!CUserView__CloseView:
71517134 55               push    ebp
71517135 8bec             mov     ebp,esp

Spowoduje to skonfigurowanie ramki, aby funkcja mogła uzyskać dostęp do swoich parametrów jako dodatnie przesunięcia z ebp i zmiennych lokalnych jako ujemne przesunięcia.

Jest to metoda w prywatnym interfejsie COM, więc konwencja wywoływania jest __stdcall. Oznacza to, że parametry są przekazywane od prawej do lewej (w tym przypadku nie ma żadnych), wskaźnik 'this' jest przekazywany, a następnie wywoływana jest funkcja. W związku z tym po wejściu do funkcji stos wygląda następująco:

[esp+0] = return address
[esp+4] = this

Po dwóch poprzednich instrukcjach parametry są dostępne jako:

[ebp+0] = previous ebp pushed on stack
[ebp+4] = return address
[ebp+8] = this

W przypadku funkcji używającej wskaźnika ebp jako wskaźnika ramki pierwszy wypchnięty parametr jest dostępny pod adresem [ebp+8]; kolejne parametry są dostępne pod kolejnymi wyższymi adresami DWORD.

71517137 51               push    ecx
71517138 51               push    ecx

Ta funkcja wymaga tylko dwóch zmiennych stosu lokalnego, więc instrukcja sub esp, 8 jest wystarczająca. Następnie wypychane wartości są dostępne jako [ebp-4] i [ebp-8].

W przypadku funkcji, która używa ebp jako wskaźnika ramki, zmienne lokalne stosu są dostępne przy ujemnych przesunięciach względem rejestru ebp.

71517139 56               push    esi

Teraz kompilator zapisuje rejestry wymagane do zachowania w wywołaniach funkcji. W rzeczywistości zapisuje je częściami, wplecione z pierwszym wierszem rzeczywistego kodu.

7151713a 8b7508           mov     esi,[ebp+0x8]     ; esi = this
7151713d 57               push    edi               ; save another registers

Dzieje się tak, że CloseView jest metodą w widoku ViewState, która jest z przesunięciem 12 w obiekcie bazowym. W związku z tym, this jest wskaźnikiem do klasy ViewState, chociaż gdy istnieje możliwe zamieszanie z inną klasą bazową, będzie on precyzyjniej określony jako (ViewState*)this.

    if (m_fDestroyed)
7151713e 33ff             xor     edi,edi           ; edi = 0

Zastosowanie operacji XOR na rejestrze z samym sobą jest standardowym sposobem jego wyzerowania.

71517140 39beac000000     cmp     [esi+0xac],edi    ; this->m_fDestroyed == 0?
71517146 7407             jz      NotDestroyed (7151714f)  ; jump if equal

Instrukcja cmp porównuje dwie wartości (odejmując je). Instrukcja jz sprawdza, czy wynik ma wartość zero, co oznacza, że dwie porównywane wartości są równe.

Instrukcja cmp porównuje dwie wartości; kolejna instrukcja j skacze na podstawie wyniku porównania.

    return S_OK;
71517148 33c0             xor     eax,eax           ; eax = 0 = S_OK
7151714a e972010000       jmp     ReturnNoEBX (715172c1) ; return, do not pop EBX

Kompilator opóźnił zapisywanie rejestru EBX do późniejszej części funkcji, więc jeśli program ma „wcześniej zakończyć” działanie na tym teście, to ścieżka wyjścia musi być tą, która nie przywraca EBX.

    BOOL fViewObjectChanged = FALSE;
    ReleaseAndNull(&m_pdtgt);

Wykonanie tych dwóch wierszy kodu jest przeplatane, więc zwróć uwagę.

NotDestroyed:
7151714f 8d86c0000000     lea     eax,[esi+0xc0]    ; eax = &m_pdtgt

Instrukcja lea oblicza adres efektu dostępu do pamięci i przechowuje go w miejscu docelowym. Rzeczywisty adres pamięci nie jest wyłuszony.

Instrukcja lea przyjmuje adres zmiennej.

71517155 53               push    ebx

Należy zapisać rejestr EBX, zanim ulegnie uszkodzeniu.

71517156 8b1d10195071     mov ebx,[_imp__ReleaseAndNull]

Ponieważ często wywołujesz funkcję ReleaseAndNull , dobrym pomysłem jest buforowanie jego adresu w ebX.

7151715c 50               push    eax               ; parameter to ReleaseAndNull
7151715d 897dfc           mov     [ebp-0x4],edi     ; fViewObjectChanged = FALSE
71517160 ffd3             call    ebx               ; call ReleaseAndNull
    if (m_psv) {
71517162 397e74           cmp     [esi+0x74],edi    ; this->m_psv == 0?
71517165 0f8411010000     je      No_Psv (7151727c) ; jump if zero

Pamiętaj, że wyzerowałeś rejestr EDI jakiś czas temu i że EDI jest rejestrem zachowanym między wywołaniami funkcji (więc wywołanie ReleaseAndNull nie zmieniło go). W związku z tym nadal przechowuje wartość zero i można jej użyć do szybkiego testowania pod kątem zera.

        m_psb->EnableModelessSB(FALSE);
7151716b 8b4638           mov     eax,[esi+0x38]    ; eax = this->m_psb
7151716e 57               push    edi               ; FALSE
7151716f 50               push    eax               ; "this" for callee
71517170 8b08             mov     ecx,[eax]         ; ecx = m_psb->lpVtbl
71517172 ff5124           call    [ecx+0x24]        ; __stdcall EnableModelessSB

Powyższy wzorzec jest charakterystycznym znakiem wywołania metody COM.

Wywołania metod COM są dość popularne, więc dobrym pomysłem jest nauczenie się ich rozpoznawać. W szczególności powinieneś być w stanie rozpoznać trzy metody IUnknown bezpośrednio z przesunięć w Vtable: QueryInterface=0, AddRef=4 i Release=8.

        if(m_pws) m_pws->ViewReleased();
71517175 8b8614010000     mov     eax,[esi+0x114]   ; eax = this->m_pws
7151717b 3bc7             cmp     eax,edi           ; eax == 0?
7151717d 7406             jz      NoWS (71517185) ; if so, then jump
7151717f 8b08             mov     ecx,[eax]         ; ecx = m_pws->lpVtbl
71517181 50               push    eax               ; "this" for callee
71517182 ff510c           call    [ecx+0xc]         ; __stdcall ViewReleased
NoWS:
        HWND hwndCapture = GetCapture();
71517185 ff15e01a5071    call [_imp__GetCapture]    ; call GetCapture

Wywołania pośrednie za pośrednictwem zmiennych globalnych to sposób implementacji importu funkcji w środowisku Microsoft Win32. Moduł ładujący naprawia globalne zmienne, aby wskazywały rzeczywisty adres celu. To jest przydatny sposób na zorientowanie się podczas analizowania uszkodzonej maszyny. Wyszukaj wywołania do zaimportowanych funkcji i w obiekcie docelowym. Zazwyczaj będziesz mieć nazwę zaimportowanej funkcji, której można użyć do określenia, gdzie jesteś w kodzie źródłowym.

        if (hwndCapture && hwndCapture == m_hwnd) {
            SendMessage(m_hwnd, WM_CANCELMODE, 0, 0);
        }
7151718b 3bc7             cmp     eax,edi           ; hwndCapture == 0?
7151718d 7412             jz      No_Capture (715171a1) ; jump if zero

Wartość zwracana funkcji jest umieszczana w rejestrze EAX.

7151718f 8b4e44           mov     ecx,[esi+0x44]    ; ecx = this->m_hwnd
71517192 3bc1             cmp     eax,ecx           ; hwndCapture = ecx?
71517194 750b             jnz     No_Capture (715171a1) ; jump if not

71517196 57               push    edi               ; 0
71517197 57               push    edi               ; 0
71517198 6a1f             push    0x1f              ; WM_CANCELMODE
7151719a 51               push    ecx               ; hwndCapture
7151719b ff1518195071     call    [_imp__SendMessageW] ; SendMessage
No_Capture:
        m_fHandsOff = TRUE;
        m_fRecursing = TRUE;
715171a1 66818e0c0100000180 or    word ptr [esi+0x10c],0x8001 ; set both flags at once

        NotifyClients(m_psv, NOTIFY_CLOSING);
715171aa 8b4e20           mov     ecx,[esi+0x20]    ; ecx = (CNotifySource*)this.vtbl
715171ad 6a04             push    0x4               ; NOTIFY_CLOSING
715171af 8d4620           lea     eax,[esi+0x20]    ; eax = (CNotifySource*)this
715171b2 ff7674           push    [esi+0x74]        ; m_psv
715171b5 50               push    eax               ; "this" for callee
715171b6 ff510c           call    [ecx+0xc]         ; __stdcall NotifyClients

Zwróć uwagę, że podczas wywoływania metody w innej niż własna klasie bazowej musiałeś zmienić swój wskaźnik "this".

        m_fRecursing = FALSE;
715171b9 80a60d0100007f   and     byte ptr [esi+0x10d],0x7f
        m_psv->UIActivate(SVUIA_DEACTIVATE);
715171c0 8b4674           mov     eax,[esi+0x74]    ; eax = m_psv
715171c3 57               push    edi               ; SVUIA_DEACTIVATE = 0
715171c4 50               push    eax               ; "this" for callee
715171c5 8b08             mov     ecx,[eax]         ; ecx = vtbl
715171c7 ff511c           call    [ecx+0x1c]        ; __stdcall UIActivate
        psv = m_psv;
        m_psv = NULL;
715171ca 8b4674           mov     eax,[esi+0x74]    ; eax = m_psv
715171cd 897e74           mov     [esi+0x74],edi    ; m_psv = NULL
715171d0 8945f8           mov     [ebp-0x8],eax     ; psv = eax

Pierwsza zmienna lokalna to psv.

        ReleaseAndNull(&_pctView);
715171d3 8d466c           lea     eax,[esi+0x6c]    ; eax = &_pctView
715171d6 50               push    eax               ; parameter
715171d7 ffd3             call    ebx               ; call ReleaseAndNull
        if (m_pvo) {
715171d9 8b86a8000000     mov     eax,[esi+0xa8]    ; eax = m_pvo
715171df 8dbea8000000     lea     edi,[esi+0xa8]    ; edi = &m_pvo
715171e5 85c0             test    eax,eax           ; eax == 0?
715171e7 7448             jz      No_Pvo (71517231) ; jump if zero

Należy pamiętać, że adres członka m_pvo został spekulacyjnie przygotowany przez kompilator, ponieważ będziesz go często używać przez jakiś czas. W związku z tym posiadanie adresu pod ręką spowoduje zmniejszenie kodu.

            if (SUCCEEDED(m_pvo->GetAdvise(NULL, NULL, &pSink)) && pSink) {
715171e9 8b08             mov     ecx,[eax]         ; ecx = m_pvo->lpVtbl
715171eb 8d5508           lea     edx,[ebp+0x8]     ; edx = &pSink
715171ee 52               push    edx               ; parameter
715171ef 6a00             push    0x0               ; NULL
715171f1 6a00             push    0x0               ; NULL
715171f3 50               push    eax               ; "this" for callee
715171f4 ff5120           call    [ecx+0x20]        ; __stdcall GetAdvise
715171f7 85c0             test    eax,eax           ; test bits of eax
715171f9 7c2c             jl      No_Advise (71517227) ; jump if less than zero
715171fb 33c9             xor     ecx,ecx           ; ecx = 0
715171fd 394d08           cmp     [ebp+0x8],ecx     ; _pSink == ecx?
71517200 7425             jz      No_Advise (71517227)

Zwróć uwagę, że kompilator stwierdził, że przychodzący parametr "this" nie jest wymagany (ponieważ wcześniej został zapisany w rejestrze ESI). W związku z tym ponownie użyto pamięci jako zmiennej lokalnej pSink.

Jeśli funkcja używa ramki EBP, to parametry przychodzące docierają do dodatnich przesunięć względem EBP, a zmienne lokalne są umieszczane przy ujemnych przesunięciach. Jednak, podobnie jak w tym przypadku, kompilator jest wolny do ponownego użycia tej pamięci w dowolnym celu.

Jeśli zwracasz szczególną uwagę, zobaczysz, że kompilator może nieco lepiej zoptymalizować ten kod. Mogło to opóźnić instrukcję lea edi, [esi+0xa8] dopóki dwie instrukcje push 0x0, zastępując je poleceniem push edi. Zaoszczędziłoby 2 bajty.

                if (pSink == (IAdviseSink *)this)

Następujące kilka wierszy ma zrekompensować fakt, że w języku C++ (IAdviseSink *)NULL musi nadal być NULL. Jeśli więc wartość "this" jest naprawdę "(ViewState*)NULL", wynik rzutowania powinien być NULL, a nie oznaczać odległość między IAdviseSink i IBrowserService.

71517202 8d46ec           lea     eax,[esi-0x14]    ; eax = -(IAdviseSink*)this
71517205 8d5614           lea     edx,[esi+0x14]    ; edx = (IAdviseSink*)this
71517208 f7d8             neg     eax               ; eax = -eax (sets carry if != 0)
7151720a 1bc0             sbb     eax,eax           ; eax = eax - eax - carry
7151720c 23c2             and     eax,edx           ; eax = NULL or edx

Mimo że procesor Pentium ma instrukcje warunkowego przesunięcia, to architektura bazowa i386 tego nie posiada, więc kompilator stosuje określone techniki do symulowania instrukcji warunkowego przesunięcia bez wykonywania żadnych skoków.

Ogólny wzorzec oceny warunkowej jest następujący:

        neg     r
        sbb     r, r
        and     r, (val1 - val2)
        add     r, val2

Instrukcja neg r ustawia flagę przenoszenia, jeśli r jest niezerowe, ponieważ neg neguje wartość, odejmując ją od zera. Odejmowanie z zera spowoduje wygenerowanie pożyczki (ustawienie przenoszenia), jeśli odejmiesz wartość niezerową. Spowoduje to również uszkodzenie wartości w rejestrze r , ale jest to akceptowalne, ponieważ mimo to ma zostać zastąpione.

Następnie instrukcja sbb r, r odejmuje wartość od siebie, co zawsze powoduje zero. Jednak odejmuje również bit przeniesienia (pożyczki), więc wynik netto ustawia r na zero lub -1, w zależności od tego, czy przeniesienie nie było ustawione, czy było ustawione, odpowiednio.

W związku z tym , sbb r, r ustawia r na zero, jeśli pierwotna wartość r była zero, lub -1, jeśli oryginalna wartość była niezerowa.

Trzecia instrukcja wykonuje operację maskowania. Ponieważ rejestr r ma wartość zero lub -1, "to" służy do pozostawienia zera r lub zmiany r z -1 na (val1 - val1), w tym ANDing dowolnej wartości z -1 pozostawia oryginalną wartość.

W związku z tym wynik "i r, (val1 - val1)" ma ustawić wartość r na zero, jeśli pierwotna wartość r wynosiła zero, lub na wartość "(val1 - val2)", jeśli pierwotna wartość r była niezerowa.

Na koniec dodajesz val2 do r, dając val2 lub (val1 - val2) + val2 = val1.

W związku z tym ostatecznym wynikiem tej serii instrukcji jest ustawienie r na val2, jeśli pierwotnie był równy zeru lub na val1, jeśli był różny od zera. Jest to odpowiednik zestawu r = r ? val1 : val2.

W tym konkretnym przypadku widać, że val2 = 0 i val1 = (IAdviseSink*)this. (Zwróć uwagę, że kompilator pominął końcową instrukcję add eax, 0, ponieważ nie ma żadnego efektu.)

7151720e 394508           cmp     [ebp+0x8],eax ; pSink == (IAdviseSink*)this?
71517211 750b             jnz     No_SetAdvise (7151721e) ; jump if not equal

Wcześniej w tej sekcji ustawiono EDI na adres składnika m_pvo. Teraz będziesz go używać. Również wcześniej wyzerowałeś rejestr ECX.

                    m_pvo->SetAdvise(0, 0, NULL);
71517213 8b07             mov     eax,[edi]         ; eax = m_pvo
71517215 51               push    ecx               ; NULL
71517216 51               push    ecx               ; 0
71517217 51               push    ecx               ; 0
71517218 8b10             mov     edx,[eax]         ; edx = m_pvo->lpVtbl
7151721a 50               push    eax               ; "this" for callee
7151721b ff521c           call    [edx+0x1c]        ; __stdcall SetAdvise
No_SetAdvise:
                pSink->Release();
7151721e 8b4508           mov     eax,[ebp+0x8]     ; eax = pSink
71517221 50               push    eax               ; "this" for callee
71517222 8b08             mov     ecx,[eax]         ; ecx = pSink->lpVtbl
71517224 ff5108           call    [ecx+0x8]         ; __stdcall Release
No_Advise:

Wszystkie te wywołania metod COM powinny wyglądać bardzo znajomo.

Ocena dwóch następnych stwierdzeń jest przeplatana. Nie zapomnij, że EBX zawiera adres ReleaseAndNull.

            fViewObjectChanged = TRUE;
            ReleaseAndNull(&m_pvo);
71517227 57               push    edi               ; &m_pvo
71517228 c745fc01000000   mov     dword ptr [ebp-0x4],0x1 ; fViewObjectChanged = TRUE
7151722f ffd3             call    ebx               ; call ReleaseAndNull
No_Pvo:
        if (psv) {
71517231 8b7df8           mov     edi,[ebp-0x8]     ; edi = psv
71517234 85ff             test    edi,edi           ; edi == 0?
71517236 7412             jz      No_Psv2 (7151724a) ; jump if zero
            psv->SaveViewState();
71517238 8b07             mov     eax,[edi]         ; eax = psv->lpVtbl
7151723a 57               push    edi               ; "this" for callee
7151723b ff5034           call    [eax+0x34]        ; __stdcall SaveViewState

Oto więcej wywołań metod COM.

            psv->DestroyViewWindow();
7151723e 8b07             mov     eax,[edi]         ; eax = psv->lpVtbl
71517240 57               push    edi               ; "this" for callee
71517241 ff5028           call    [eax+0x28]        ; __stdcall DestroyViewWindow
            psv->Release();
71517244 8b07             mov     eax,[edi]         ; eax = psv->lpVtbl
71517246 57               push    edi               ; "this" for callee
71517247 ff5008           call    [eax+0x8]         ; __stdcall Release
No_Psv2:
        m_hwndView = NULL;
7151724a 83667c00         and     dword ptr [esi+0x7c],0x0 ; m_hwndView = 0

ANDowanie lokalizacji pamięci z zerem jest równoznaczne z ustawieniem jej na zero, ponieważ wynik operacji logicznej AND dla jakiejkolwiek wartości i zera zawsze wynosi zero. Kompilator używa tego formularza, ponieważ mimo że jest wolniejszy, jest znacznie krótszy niż równoważna instrukcja mov . (Ten kod został zoptymalizowany pod kątem rozmiaru, a nie szybkości).

        m_fHandsOff = FALSE;
7151724e 83a60c010000fe   and     dword ptr [esi+0x10c],0xfe
        if (m_pcache) {
71517255 8b4670           mov     eax,[esi+0x70]    ; eax = m_pcache
71517258 85c0             test    eax,eax           ; eax == 0?
7151725a 740b             jz      No_Cache (71517267) ; jump if zero
            GlobalFree(m_pcache);
7151725c 50               push    eax               ; m_pcache
7151725d ff15b4135071     call    [_imp__GlobalFree]    ; call GlobalFree
            m_pcache = NULL;
71517263 83667000         and     dword ptr [esi+0x70],0x0 ; m_pcache = 0
No_Cache:
        m_psb->EnableModelessSB(TRUE);
71517267 8b4638           mov     eax,[esi+0x38]    ; eax = this->m_psb
7151726a 6a01             push    0x1               ; TRUE
7151726c 50               push    eax               ; "this" for callee
7151726d 8b08             mov     ecx,[eax]         ; ecx = m_psb->lpVtbl
7151726f ff5124           call    [ecx+0x24]        ; __stdcall EnableModelessSB
        CancelPendingActions();

Aby wywołać metodę CancelPendingActions, musisz przejść z (ViewState*)to do (CUserView*)this. Należy również pamiętać, że funkcja CancelPendingActions używa __thiscall konwencji wywoływania zamiast __stdcall. Zgodnie z __thiscall wskaźnik "ten" jest przekazywany w rejestrze ECX, a nie przekazywany na stos.

71517272 8d4eec           lea     ecx,[esi-0x14]    ; ecx = (CUserView*)this
71517275 e832fbffff       call CUserView::CancelPendingActions (71516dac) ; __thiscall
    ReleaseAndNull(&_psf);
7151727a 33ff             xor     edi,edi           ; edi = 0 (for later)
No_Psv:
7151727c 8d4678           lea     eax,[esi+0x78]    ; eax = &_psf
7151727f 50               push    eax               ; parameter
71517280 ffd3             call    ebx               ; call ReleaseAndNull
    if (fViewObjectChanged)
71517282 397dfc           cmp     [ebp-0x4],edi     ; fViewObjectChanged == 0?
71517285 740d             jz      NoNotifyViewClients (71517294) ; jump if zero
       NotifyViewClients(DVASPECT_CONTENT, -1);
71517287 8b46ec           mov     eax,[esi-0x14]    ; eax = ((CUserView*)this)->lpVtbl
7151728a 8d4eec           lea     ecx,[esi-0x14]    ; ecx = (CUserView*)this
7151728d 6aff             push    0xff              ; -1
7151728f 6a01             push    0x1               ; DVASPECT_CONTENT = 1
71517291 ff5024           call    [eax+0x24]        ; __thiscall NotifyViewClients
NoNotifyViewClients:
    if (m_pszTitle)
71517294 8b8680000000     mov     eax,[esi+0x80]    ; eax = m_pszTitle
7151729a 8d9e80000000     lea     ebx,[esi+0x80]    ; ebx = &m_pszTitle (for later)
715172a0 3bc7             cmp     eax,edi           ; eax == 0?
715172a2 7409             jz      No_Title (715172ad) ; jump if zero
        LocalFree(m_pszTitle);
715172a4 50               push    eax               ; m_pszTitle
715172a5 ff1538125071     call   [_imp__LocalFree]
        m_pszTitle = NULL;

Pamiętaj, że EDI jest nadal zerowy, a EBX ma nadal wartość &m_pszTitle, ponieważ te rejestry są zachowywane przez wywołania funkcji.

715172ab 893b             mov     [ebx],edi         ; m_pszTitle = 0
No_Title:
    SetRect(&m_rcBounds, 0, 0, 0, 0);
715172ad 57               push    edi               ; 0
715172ae 57               push    edi               ; 0
715172af 57               push    edi               ; 0
715172b0 81c6fc000000     add     esi,0xfc          ; esi = &this->m_rcBounds
715172b6 57               push    edi               ; 0
715172b7 56               push    esi               ; &m_rcBounds
715172b8 ff15e41a5071     call   [_imp__SetRect]

Zwróć uwagę, że nie potrzebujesz już wartości "this", więc kompilator używa instrukcji add , aby zmodyfikować ją w miejscu, zamiast używać innego rejestru do przechowywania adresu. W rzeczywistości jest to poprawa wydajności dzięki potokowi Pentium u/v, ponieważ potok v może wykonywać operacje arytmetyczne, ale nie obliczenia adresowe.

    return S_OK;
715172be 33c0             xor     eax,eax           ; eax = S_OK

Na koniec przywracasz rejestry, które musisz zachować, czyścisz stos i wracasz do wywołującej funkcji, usuwając przekazane parametry.

715172c0 5b               pop     ebx               ; restore
ReturnNoEBX:
715172c1 5f               pop     edi               ; restore
715172c2 5e               pop     esi               ; restore
715172c3 c9               leave                     ; restores EBP and ESP simultaneously
715172c4 c20400           ret     0x4               ; return and clear parameters