C++反汇编揭秘2 – VC编译器的运行时错误检查(RTC) - [C/C++]

灰太狼 2022-08-27 06:00 154阅读 0赞

[http://blog.csdn.net/atfield/archive/2007/04/08/1556844.aspx][http_blog.csdn.net_atfield_archive_2007_04_08_1556844.aspx]

我在上篇文章举了一个简单的C++程序非常简略的解释C++代码和汇编代码的对应关系，在后面的文章中我将按照不同的Topic来仔细介绍更多相关的细节。虽然我很想一开始的时候就开始直接介绍C++和汇编代码的对应关系，不过由于VC编译器会在代码中插入各种检查，SEH，C++异常等代码，因此我觉得有必要先写一下一些在阅读VC生成的汇编代码的时候常见的一些东西，然后再开始具体的分析C++代码的反汇编。这篇文章会首先涉及到运行时检查（Runtime Checking）

**Runtime Checking**

运行时检查是VC编译器提供了运行时刻的对程序正确性/安全性的一种动态检查，可以在项目的C++选项中打开Small Type Check和Basic Runtime Checks来启用Runtime Check。

![o_rtc_check_3.JPG][]

同时，也可以使用/RTC开关来打开检查，/RTC后面跟c, u, s代表启用不同类型的检查。Smaller Type Check对应/RTCc, Basic Runtime Checks对应/RTCs和/RTCu。

**/RTCc开关**

RTCc开关可以用来检查在进行类型转换的保证没有不希望的截断（Truncation）发生。以下面的代码为例：

当VC执行到ch = s的时候会报告如下错误：

![o_rtc_check_2.JPG][]

原因是0x101已经超过了char的表示范围。

之前会导致错误地的代码对应的汇编代码如下所示：

可以看到，赋值的时候，VC编译器先将s的值放到cx寄存器中，然后调用\_RTC\_Check\_2\_to\_1@4函数来检查是否有数据截断的问题，结果放在al中，最后将al放到ch之中。\_RTC\_Check\_2\_to\_1@4顾名思义是检查2个byte的数据被转换成1个byte的数据（short是2个byte，char是一个byte），代码如下：

<table style="BORDER-RIGHT: medium none; BORDER-TOP: medium none; BACKGROUND: #d9d9d9; BORDER-LEFT: medium none; BORDER-BOTTOM: medium none; BORDER-COLLAPSE: collapse"> 
 <tbody> 
  <tr> 
   <td style="PADDING-RIGHT: 5.4pt; PADDING-LEFT: 5.4pt; BORDER-LEFT-COLOR: #e0dfe3; BORDER-BOTTOM-COLOR: #e0dfe3; PADDING-BOTTOM: 0in; WIDTH: 6.15in; BORDER-TOP-COLOR: #e0dfe3; PADDING-TOP: 0in; BACKGROUND-COLOR: transparent; BORDER-RIGHT-COLOR: #e0dfe3"> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">_RTC_Check_2_to_1:</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">00411900&nbsp;push&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ebp&nbsp;</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">00411901&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ebp,esp </span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">00411903&nbsp;push&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ebx&nbsp;</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">00411904&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ebx,ecx </span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">00411906&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; eax,ebx </span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">00411908&nbsp;and&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; eax,0FF00h </span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">0041190D&nbsp;je&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; _RTC_Check_2_to_1+24h (411924h) </span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">0041190F&nbsp;cmp&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; eax,0FF00h </span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">00411914&nbsp;je&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; _RTC_Check_2_to_1+24h (411924h) </span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">00411916&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; eax,dword ptr [ebp+4] </span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">00411919&nbsp;push&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 1&nbsp;&nbsp;&nbsp; </span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">0041191B&nbsp;push&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; eax&nbsp;</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">0041191C&nbsp;call&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; _RTC_Failure (411195h) </span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">00411921&nbsp;add&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;esp,8 </span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">00411924&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; al,bl </span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">00411926&nbsp;pop&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ebx&nbsp;</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">00411927&nbsp;pop&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ebp&nbsp;</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">00411928&nbsp;ret&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span> 
    </div> </td> 
  </tr> 
 </tbody> 
</table>

1.      00411904~00411906：ecx保存着s的值，然后又被转移到eax中。

2.      00411908~0041190D：检查eax和0xff00相与，并检查是否结果为0，如果结果为0，说明这个short值是0或者<128的正数，没有超过范围，直接跳转到00411924获得结果并返回

3.      0041190F~00411914：检查eax是否等于0xff00，如果相等，说明这个short值是负数，并且>=-128，在char的表示范围之内，可以接受，跳转到00411924

4.      如果上面检查都没有通过，说明这个值已经超过了范围，调用\_RTC\_Failure函数报错

要解决这个问题，很简单，把代码改为下面这样就可以了：

**/RTCu开关**

这个开关的作用是打开对未初始化变量的检查，比静态的警告要有用一些。考虑下面的代码：

编译器无从通过Flow Analysis知道a在printf之前是否被正确初始化，因为a = 10这个分支是由外部条件决定的，所以只有动态的监测方法才可以知道到底程序有没有Bug（当然从这里我们可以很明显的看出这个程序必然是有Bug的）。显然把变量的值和一个具体值来比较是无法知道变量是否被初始化的，所以编译器需要通过一个额外的BYTE来跟踪此变量是否被初始化：

函数的开始代码如下：

最后一句很关键，把$T5147变量的值设置为0，表示并没有初始化a这个变量。

当ch = ‘y’的时候，编译器除了执行a=10之外还会将$T5147设置为1

之后，在printf之前，编译器会检查$T5147这个变量的值，如果为0，说明没有初始化，执行\_\_RTC\_UninitUse报告错误，否则跳转到相应代码执行printf语句：

**/RTCs开关**

这个开关是用来检查和Stack相关的问题：

1.      Debug模式下把Stack上的变量初始化为0xcc，检查未初始化的问题

2.      检查数组变量的Overrun

3.      检查ESP是否被毁坏

**Debug模式下初始化变量为0xcc**

假设我们有下面的代码：

对应的汇编代码如下：

<table style="BORDER-RIGHT: medium none; BORDER-TOP: medium none; BACKGROUND: #d9d9d9; BORDER-LEFT: medium none; BORDER-BOTTOM: medium none; BORDER-COLLAPSE: collapse"> 
 <tbody> 
  <tr> 
   <td style="PADDING-RIGHT: 5.4pt; PADDING-LEFT: 5.4pt; BORDER-LEFT-COLOR: #e0dfe3; BORDER-BOTTOM-COLOR: #e0dfe3; PADDING-BOTTOM: 0in; WIDTH: 6.15in; BORDER-TOP-COLOR: #e0dfe3; PADDING-TOP: 0in; BACKGROUND-COLOR: transparent; BORDER-RIGHT-COLOR: #e0dfe3"> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">?func@@YAXXZ PROC&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ; func, COMDAT</span> 
    </div> &nbsp; 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">; 38&nbsp;&nbsp; : { </span> 
    </div> &nbsp; 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; push&nbsp;ebp</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; mov&nbsp;&nbsp; ebp, esp</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; sub&nbsp;&nbsp; esp, 228&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ; 000000e4H</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; push&nbsp;ebx</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; push&nbsp;esi</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; push&nbsp;edi</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; lea&nbsp;&nbsp; edi, DWORD PTR [ebp-228]</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; mov&nbsp;&nbsp; ecx, 57&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ; 00000039H</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; mov&nbsp;&nbsp; eax, -858993460&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ; ccccccccH</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; rep stosd</span> 
    </div> &nbsp; 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">; 39&nbsp;&nbsp; :&nbsp;&nbsp;&nbsp;&nbsp; int a;</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">; 40&nbsp;&nbsp; :&nbsp;&nbsp;&nbsp;&nbsp; int b;</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">; 41&nbsp;&nbsp; :&nbsp;&nbsp;&nbsp;&nbsp; int c;</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">; 42&nbsp;&nbsp; : </span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">; 43&nbsp;&nbsp; : }</span> 
    </div> &nbsp; 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; pop&nbsp;&nbsp; edi</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; pop&nbsp;&nbsp; esi</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; pop&nbsp;&nbsp; ebx</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; mov&nbsp;&nbsp; esp, ebp</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; pop&nbsp;&nbsp; ebp</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ret&nbsp;&nbsp; 0</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">?func@@YAXXZ ENDP</span> 
    </div> </td> 
  </tr> 
 </tbody> 
</table>

1.      sub esp, 228：s 编译器为栈分配了228个byte

2.      接着3个push指令保存寄存器

3.      Lea edi, DWORD PTR \[ebp-228\]一直到repstosd指令是初始化从ebp-228开始写57个0xcccccccc，也就是57\*4=228个0xcc，正好填满之前sub esp, 228所分配的空间。这段代码会把所有的变量初始化为0xcc。

选择0xcc是有一定理由的:

1.      0xcc不同于一般的初始化值，人们一般倾向于把变量初始化为0, 1, -1等比较简单的值，而0xcc一般情况下足够大，而且是负数，容易引起注意，而且一般变量的值很有可能不允许是0xcc，比较容易造成错误

2.      0xcc = int 3，如果作为代码执行，则会引发断点异常，比较容易引起注意

**检查数组变量的Overrun**

假设我们有下面的代码：

在scanf调用之后，会执行下面的代码：

这段代码会调用\_RTC\_CheckStackVars@8函数会在数组的开始和结束的地方检查0xcccccccc有否被破坏，如果是，则报告错误。\_RTC\_CheckStackVars由于代码过长这里就不给出了，这个函数主要是利用编译器保存的数组位置和长度信息，检查数组的开头和结尾：

$LN5@func纪录了数组的个数，而$LN4@func保存了数组的偏移量ebp - 112和数组的长度104，而$LN3@func则保存了变量的名称（0x62, 0x75, 0x66, 0 = “buf”）。

**检查ESP**

ESP的错误很有可能是由调用协定的mistach造成，或者Stack本身没有平衡。编译器会在调用其他函数和在函数Prolog和Epilog（开始和结束代码）的时候插入对ESP的检查：

1.      在调用其他外部函数的时候：

假设我们有下面的代码：

对应的汇编代码如下：

可以看到检查的代码非常简单直接，把ESP保存在ESI之中，当调用printf，平衡堆栈之后，检查esp和esi的是否一致，然后调用\_\_RTC\_CheckESP，\_\_RTC\_CheckESP代码也很简单：

如果不一致，跳转到esperror标号报告错误。

2.      函数返回的时候：

以下面的代码为例：

Func函数故意push eax来破坏堆栈的平衡性，对应的汇编代码如下：

<table style="BORDER-RIGHT: medium none; BORDER-TOP: medium none; BACKGROUND: #d9d9d9; BORDER-LEFT: medium none; BORDER-BOTTOM: medium none; BORDER-COLLAPSE: collapse"> 
 <tbody> 
  <tr> 
   <td style="PADDING-RIGHT: 5.4pt; PADDING-LEFT: 5.4pt; BORDER-LEFT-COLOR: #e0dfe3; BORDER-BOTTOM-COLOR: #e0dfe3; PADDING-BOTTOM: 0in; WIDTH: 6.15in; BORDER-TOP-COLOR: #e0dfe3; PADDING-TOP: 0in; BACKGROUND-COLOR: transparent; BORDER-RIGHT-COLOR: #e0dfe3"> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">?func@@YAXXZ PROC&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ; func, COMDAT</span> 
    </div> &nbsp; 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">; 38&nbsp;&nbsp; : { </span> 
    </div> &nbsp; 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; push&nbsp;ebp</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; mov&nbsp;&nbsp; ebp, esp</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; sub&nbsp;&nbsp; esp, 192&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ; 000000c0H</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; push&nbsp;ebx</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; push&nbsp;esi</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; push&nbsp;edi</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; lea&nbsp;&nbsp; edi, DWORD PTR [ebp-192]</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; mov&nbsp;&nbsp; ecx, 48&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ; 00000030H</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; mov&nbsp;&nbsp; eax, -858993460&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ; ccccccccH</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; rep stosd</span> 
    </div> &nbsp; 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">; 39&nbsp;&nbsp; :&nbsp;&nbsp;&nbsp;&nbsp; __asm</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">; 40&nbsp;&nbsp; :&nbsp;&nbsp;&nbsp;&nbsp; { </span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">; 41&nbsp;&nbsp; :&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; push eax</span> 
    </div> &nbsp; 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; push&nbsp;eax</span> 
    </div> &nbsp; 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">; 42&nbsp;&nbsp; :&nbsp;&nbsp;&nbsp;&nbsp; }</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">; 43&nbsp;&nbsp; : }</span> 
    </div> &nbsp; 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; pop&nbsp;&nbsp; edi</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; pop&nbsp;&nbsp; esi</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; pop&nbsp;&nbsp; ebx</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; add&nbsp;&nbsp; esp, 192&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ; 000000c0H</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; cmp&nbsp;&nbsp; ebp, esp</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; call&nbsp;__RTC_CheckEsp</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; mov&nbsp;&nbsp; esp, ebp</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; pop&nbsp;&nbsp; ebp</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ret&nbsp;&nbsp; 0</span> 
    </div> 
    <div style="MARGIN: 0in 0in 0pt"> 
     <span style="FONT-SIZE: 10pt">?func@@YAXXZ ENDP</span> 
    </div> </td> 
  </tr> 
 </tbody> 
</table>

在函数的初始化代码中，func会将ebp保存在Stack中，并且把当前esp保存在ebp中。

关键的检查代码在后面，当func函数恢复了堆栈之后，堆栈会恢复到之前刚保存esp到ebp的那个状态，这个时候ebp必然等于esp，否则出错

[Link 1]: http://creativecommons.org/licenses/by/3.0/deed.zh
[Link 2]: http://bangzhuzhongxin.blogbus.com/logs/11205960.html
[http_joshuafan.blogbus.com_logs_10066729.html]: http://joshuafan.blogbus.com/logs/10066729.html
[http_blog.csdn.net_atfield_archive_2007_04_08_1556844.aspx]: http://blog.csdn.net/atfield/archive/2007/04/08/1556844.aspx
[o_rtc_check_3.JPG]: /images/20220824/dda51214f5fb4f959f0ea87ab0bfdda6.png
[o_rtc_check_2.JPG]: /images/20220824/6c649222fe1549319782d92e435a3f75.png