__RTC_CheckEsp è una chiamata che verifica la correttezza dello esp, stack, registrazione. Viene chiamato per garantire che il valore di esp sia stato salvato attraverso una chiamata di funzione.Come è implementato __RTC_CheckEsp?
Qualcuno sa come è implementato?
Se sei bravo a ASM, forse questo aiuta:
jne (Salta se non uguale) - salta se il flag ZERO è NZ (NotZero)
_RTC_CheckEsp:
004C8690 jne esperror (4C8693h)
004C8692 ret
esperror:
004C8693 push ebp
004C8694 mov ebp,esp
004C8696 sub esp,0
004C8699 push eax
004C869A push edx
004C869B push ebx
004C869C push esi
004C869D push edi
004C869E mov eax,dword ptr [ebp+4]
004C86A1 push 0
004C86A3 push eax
004C86A4 call _RTC_Failure (4550F8h)
004C86A9 add esp,8
004C86AC pop edi
004C86AD pop esi
004C86AE pop ebx
004C86AF pop edx
004C86B0 pop eax
004C86B1 mov esp,ebp
004C86B3 pop ebp
004C86B4 ret
004C86B5 int 3
004C86B6 int 3
004C86B7 int 3
004C86B8 int 3
004C86B9 int 3
004C86BA int 3
004C86BB int 3
004C86BC int 3
004C86BD int 3
004C86BE int 3
004C86BF int 3
Beh un po ' dell'ispezione dell'assemblatore dà via
0044EE35 mov esi,esp
0044EE37 push 3039h
0044EE3C mov ecx,dword ptr [ebp-18h]
0044EE3F add ecx,70h
0044EE42 mov eax,dword ptr [ebp-18h]
0044EE45 mov edx,dword ptr [eax+70h]
0044EE48 mov eax,dword ptr [edx+0Ch]
0044EE4B call eax
0044EE4D cmp esi,esp
0044EE4F call @ILT+6745(__RTC_CheckEsp) (42BA5Eh)
ci sono 2 linee da notare in questo. Prima nota a 0x44ee35 memorizza il valore corrente di esp in esi.
Quindi, una volta completata la chiamata della funzione, esegue un cmp tra esp ed esi. Dovrebbero essere entrambi uguali ora. Se non lo sono, qualcuno ha svolto lo svolgimento due volte o non lo ha svolto.
La funzione _RTC_CheckEsp assomiglia a questo:
_RTC_CheckEsp:
00475A60 jne esperror (475A63h)
00475A62 ret
esperror:
00475A63 push ebp
00475A64 mov ebp,esp
00475A66 sub esp,0
00475A69 push eax
00475A6A push edx
00475A6B push ebx
00475A6C push esi
00475A6D push edi
00475A6E mov eax,dword ptr [ebp+4]
00475A71 push 0
00475A73 push eax
00475A74 call _RTC_Failure (42C34Bh)
00475A79 add esp,8
00475A7C pop edi
00475A7D pop esi
00475A7E pop ebx
00475A7F pop edx
00475A80 pop eax
00475A81 mov esp,ebp
00475A83 pop ebp
00475A84 ret
Come si può vedere la prima cosa che verificare è se il risultato del confronto in precedenza erano "diverso", cioè esi = esp!. Se questo è il caso, salta al codice di errore. Se SONO uguali, la funzione restituisce semplicemente.
Bello, ho dimenticato il codice chiamante ... –
Perché così tanti 'int 3', non è uno abbastanza? – ollydbg
'int 3' è un byte, ed è l'interruzione del punto di interruzione. Quindi quel valore di byte è tradizionalmente usato come padding tra le funzioni. (Specifico x86 ovviamente). Si noti che è irraggiungibile, lo zero sarebbe in effetti sufficiente. – MSalters
Il motivo per cui vengono utilizzati è che se si verifica un salto non valido nell'int 3s, il codice si interromperà immediatamente e si potrà facilmente vedere un salto non valido. – Goz