Jegyzetekkel ellátott x86 szétszerelés

Az alábbi szakasz egy szétszerelési példát mutat be.

Forráskód

A következő az elemezni kívánt függvény kódja.

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;
}

Szerelvénykód

Ez a szakasz a jegyzetekkel ellátott szétszerelési példát tartalmazza.

Az ebp-regisztert keretmutatóként használó függvények az alábbiak szerint indulnak ki:

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

Ez beállítja a keretet, hogy a függvény az ebp pozitív eltolásaként, a helyi változók pedig negatív eltolásként férhessenek hozzá a paramétereihez.

Ez egy privát COM-felületen alkalmazott módszer, ezért a hívási konvenció __stdcall. Ez azt jelenti, hogy a paraméterek leküldése jobbra balra történik (ebben az esetben nincs), a rendszer leküldi az "ez" mutatót, majd meghívja a függvényt. Így a függvénybe való belépéskor a verem a következőképpen néz ki:

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

Az előző két utasítás után a paraméterek a következő módon érhetők el:

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

Az ebp-t keretmutatóként használó függvények esetében az első leküldéses paraméter az [ebp+8] címen érhető el; a további paraméterek egymást követő magasabb DWORD-címeken érhetők el.

71517137 51               push    ecx
71517138 51               push    ecx

Ehhez a függvényhez csak két helyi veremváltozóra van szükség, ezért az sub esp, 8 utasítás elegendő. A leküldéses értékek ezután [ebp-4] és [ebp-8] néven érhetők el.

Azoknál a függvényeknél, amelyek ebp-t használnak keretmutatóként, a verem helyi változói az ebp regiszter negatív eltolásainál érhetők el.

71517139 56               push    esi

Most a fordító menti azokat a regisztereket, amelyeket a függvényhívások között meg kell őrizni. Valójában darabokban és bitenként menti őket, összefésülve a tényleges kód első sorával.

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

Előfordulhat, hogy a CloseView egy metódus a ViewState nevű objektumon, amely a mögöttes objektum 12-es eltolásánál van. Következésképpen ez egy mutató a ViewState osztályra, bár ha fennáll a lehetőség, hogy összekeveredik egy másik alaposztállyal, akkor pontosabban (ViewState*)ez formában lesz megadva.

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

Egy regiszter önmagával való XOR-ozása a leggyakoribb módszer annak kinullázására.

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

A cmp utasítás két értéket hasonlít össze (kivonásukkal). A jz utasítás ellenőrzi, hogy az eredmény nulla-e, ami azt jelzi, hogy a két összehasonlított érték egyenlő.

A cmp utasítás két értéket hasonlít össze; egy későbbi j utasítás ugrik az összehasonlítás eredménye alapján.

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

A fordító késleltette az EBX regiszter mentését a függvény későbbi részéig, így ha a program a teszt során korai kilépést hajt végre, akkor a kilépési útvonalnak nem szabad visszaállítania az EBX-et.

    BOOL fViewObjectChanged = FALSE;
    ReleaseAndNull(&m_pdtgt);

Ennek a két kódsornak a végrehajtása összefonódik, ezért figyeljen.

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

A lea utasítás kiszámítja egy memóriahozzáférés effektuscímét, és a célhelyen tárolja. A tényleges memóriacím nem kerül dereferenciálásra.

A lea utasítás egy változó címét veszi fel.

71517155 53               push    ebx

Mentse el az EBX-regisztert, mielőtt sérülne.

71517156 8b1d10195071     mov ebx,[_imp__ReleaseAndNull]

Mivel gyakran fogja meghívni ReleaseAndNullt, érdemes gyorsítótárazza a címét az EBX-ben.

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

Ne feledje, hogy nemrég nullázta az EDI-regisztert, és hogy az EDI egy regiszter, amelyet megőriznek a függvényhívások során (így a ReleaseAndNull hívása nem változtatta meg azt). Ezért továbbra is megtartja a nulla értéket, és segítségével gyorsan tesztelheti a nullát.

        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

A fenti minta egy COM-metódushívás árulkodó jele.

A COM metódushívások nagyon népszerűek, ezért érdemes megtanulni felismerni őket. Különösen képesnek kell lennie arra, hogy felismerje a három IUnknown metódust közvetlenül a V-tábla eltolása alapján: QueryInterface=0, AddRef=4 és 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

A függvények importálását a Microsoft Win32-ben úgy valósítják meg, hogy közvetett hívások történnek a globálisokon keresztül. A betöltő kijavítja a globális adatokat, hogy a cél tényleges címére mutasson. Ez egy praktikus módja annak, hogy jártas legyen, amikor egy összeomlott gépet vizsgál. Keresse meg az importált függvények hívásait a célrendszerben. Általában egy importált függvény neve lesz, amellyel meghatározhatja, hogy hol van a forráskódban.

        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

A függvény visszatérési értéke az EAX-nyilvántartásban van elhelyezve.

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

Figyelje meg, hogyan kellett módosítania a "this" mutatót, amikor egy metódust egy másik alaposztályon hív meg a sajátjától.

        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

Az első helyi változó a 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

Fontos megjegyezni, hogy a fordító előzetesen előkészítette a m_pvo tag címét, mert egy ideig gyakran fogja használni. Így, ha a cím kéznél van, kisebb kódot eredményez.

            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)

Figyelje meg, hogy a fordítóprogram arra a következtetésre jutott, hogy a bejövő "this" paraméter nem szükséges (mert már régen elrejtette azt az ESI-regiszterben). Így a memóriát újrafelhasználta a helyi változó pSink céljaira.

Ha a függvény EBP-keretet használ, akkor a bejövő paraméterek pozitív eltolódásokat kapnak az EBP-ből, és a helyi változók negatív eltolásokra kerülnek. De, mint ebben az esetben, a fordító szabadon újra felhasználhatja ezt a memóriát bármilyen célra.

Ha nagy figyelmet fordít, látni fogja, hogy a fordító egy kicsit jobban optimalizálhatta volna ezt a kódot. Késleltethette volna a lea edi, [esi+0xa8] utasítást addig, amíg a két push 0x0 utasítást push edi-vel nem helyettesítik. Ez 2 bájtot mentett volna.

                if (pSink == (IAdviseSink *)this)

A következő néhány sor kompenzálja azt a tényt, hogy a C++ (IAdviseSink *)NULL értéknek továbbra is NULL értékűnek kell lennie. Tehát ha az 'ez' valóban "(ViewState*)NULL", akkor az átkonvertálás eredményének NULL-nak kell lennie, és nem az IAdviseSink és az IBrowserService közötti távolságnak.

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

Bár a Pentium feltételes áthelyezési utasítással rendelkezik, az alap i386-architektúra nem, így a fordító speciális technikákkal szimulál egy feltételes áthelyezési utasítást anélkül, hogy ugrásokat hajtanak létre.

A feltételes értékelés általános mintája a következő:

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

A neg r beállítja a carry flag-et, ha r nem nulla, mert a neg az értéket nullából történő kivonással tagadja. Nullából kivonás esetén kölcsönződés történik (beállítja az átvitelt), ha nullától eltérő értéket vonunk ki. Az r regiszter értékét is rontja, de ez elfogadható, mert úgyis felülírni készül.

Ezután az sbb r, r utasítás kivon egy értéket önmagából, ami mindig nullát eredményez. Ugyanakkor kivonja az átvitel (kölcsön) bitet is, így a nettó eredményként az r értéke nulla vagy -1 lesz attól függően, hogy az átvitel tiszta volt-e, vagy be van állítva.

Ezért az sbb r, r nullára állítja az r értéket, ha az r eredeti értéke nulla volt, vagy -1, ha az eredeti érték nem volt nulla.

A harmadik utasítás maszkot hajt végre. Mivel az r regiszter nulla vagy -1, ez a művelet arra szolgál, hogy az r regisztert nullán hagyja vagy az r értékét -1-ról (val1 - val1)-re változtassa, mivel bármely érték ÉS művelet az -1-el az eredeti értéket hagyja meg.

Ezért az "and r, (val1 - val1)" eredménye az, hogy az r értékét nullára kell állítani, ha az r eredeti értéke nulla volt, vagy "(val1 - val2)" értékre, ha az r eredeti értéke nem volt nulla.

Végül val2-t ad hozzá az r-hez, ami val2 vagy (val1 - val2) + val2 = val1 eredményt eredményez.

Így ennek az utasítássorozatnak a végső eredménye, hogy az rval2 értékre lesz állítva, ha eredetileg nulla volt, vagy val1 értékre, ha nem volt nulla. Ez az r = r ? val1 : val2 szerelvény-megfelelője.

Ebben a konkrét példában látható, hogy val2 = 0 és val1 = (IAdviseSink*)this. (Figyelje meg, hogy a fordító kihagyta a végső add eax, 0 utasítást, mivel nincs hatása.)

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

A szakasz korábbi szakaszában az EDI-t a m_pvo tag címére állította be. Most azonnal használatba fogja venni. Az ECX-regisztrációt korábban is nullázta.

                    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:

Ezeknek a COM-metódushívásoknak ismerősnek kell, hogy tűnjenek.

A következő két állítás értékelése összefonódik. Ne felejtse el, hogy az EBX tartalmazza a ReleaseAndNull címét.

            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

Az alábbiakban további COM-metódushívásokat talál.

            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

A memóriahely nullával való megadása ugyanaz, mint nullára állítani, mert az AND zero értéke nulla. A fordító azért használja ezt a formát, mert bár lassabb, sokkal rövidebb, mint az egyenértékű mov utasítás. (Ezt a kódot a méretre, nem a sebességre optimalizálták.)

        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();

A CancelPendingActions meghívásához erről (ViewState*)erről a (CUserView*)-ra kell váltania. Vegye figyelembe azt is, hogy a CancelPendingActions a __stdcall helyett a __thiscall hívási konvenciót használja. A __thiscall szerint a "this" pointer az ECX-regiszterben kerül átadásra, ahelyett, hogy a veremre kerülne.

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;

Ne feledje, hogy az EDI továbbra is nulla, és az EBX továbbra is &m_pszTitle, mert ezeket a regisztereket függvényhívások őrzik meg.

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]

Figyelje meg, hogy már nincs szüksége a "this" értékére, ezért a fordító a add utasítást használja a módosítására a helyben, ahelyett hogy egy másik regisztert használna a cím tárolására. Ez valójában teljesítménybeli győzelem a Pentium u/v pipelining miatt, mivel a v cső képes aritmetikai műveletek elvégzésére, de számításokra nem.

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

Végül visszaállítja azokat a regisztereket, amelyeket meg kell őriznie, megtisztítja a veremet, majd visszatér a hívóhoz, eltávolítva a bejövő paramétereket.

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