__RTC_CheckEsp est un appel qui vérifie l'exactitude du registre esp, pile. Il est appelé pour s'assurer que la valeur du esp a été enregistrée lors d'un appel de fonction.Comment __RTC_CheckEsp est-il implémenté?
Quelqu'un sait comment il est implémenté?
Si vous êtes tout bon à asm, peut-être cela aide:
JNE (Saut si Différent) - saute si le drapeau ZERO est 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
Eh bien un peu d'inspection de l'assembleur, il donne suite
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)
il y a 2 lignes à noter dans ce domaine. Première note à 0x44ee35 il stocke la valeur actuelle de esp à esi.
Ensuite, après l'appel de la fonction est terminée, il fait un cmp entre esp et esi. Ils devraient tous les deux être les mêmes maintenant. Si ce n'est pas le cas, alors quelqu'un a soit déroulé la pile deux fois ou ne l'a pas déroulé.
La fonction _RTC_CheckEsp ressemble à ceci:
_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
Comme vous pouvez le voir la première chose qu'il vérifier est de savoir si le résultat de la première comparaison était « Different » c.-à-esi = esp!. Si c'est le cas, alors il saute au code d'échec. Si elles sont identiques, la fonction revient simplement.
Nice, j'ai oublié le code appelant ... –
Pourquoi tant «int 3», n'en a-t-on pas assez? – ollydbg
'int 3' est un octet, et c'est l'interruption du point d'arrêt. Par conséquent, cette valeur d'octet est traditionnellement utilisée comme remplissage entre les fonctions. (x86-spécifique bien sûr). Notez qu'il est inaccessible, zéro serait suffisant en fait. – MSalters
La raison pour laquelle ils remplissent cette condition est que si un saut invalide se produit dans les int 3, alors le code se casse immédiatement et vous pouvez facilement voir un saut invalide s'est produit. – Goz