(VC++)未初始化变量的运行时检查：测试是如何实现的？

Question

我在试着理解这个测试到底做了什么。这个玩具代码

int _tmain(int argc, _TCHAR* argv[])
{
    int i;
    printf("%d", i);
    return 0;
}

编译成以下内容：

int _tmain(int argc, _TCHAR* argv[])

{012C2DF0推ebp
012C2DF1 mov ebp,esp
012C2DF3 sub esp,0D8H
012C2DF9推EBX
012C2DFA推ESI
012C2DFB推edi
012C2DFB lea edi,[ebp-0D8h]
012C2E02 mov ecx,36H
012C2E07 mov eax,0CCCCCCCH
012C2E0C rep stos dword ptr ES:[edi]
012C2E0E mov BY TE ptr[ebp-0D1h],0

int i;
printf("%d", i);

012C2E15 cmp字节ptr[ebp-0D1h],0
012C2E1C jne WMAIN+3BH(012C2E2BH)
012C2E1E推12C2E5CH
012C2E23调用__RTC_UNINITUSE(012C10B9H)
012C2E28添加esp,4
012C2E2B mov esi,esp
012C2E2D mov eax,dword ptr[i]
012C2E30推eax
012C2E31推12C5858H
0 12C2E36调用dword ptr DS:[12C9114H]
012C2E3C添加esp,8
012C2E3F cmp esi,esp
012C2E41调用__RTC_CHECKESP(012C1140H)

return 0;

012C2E46 xor eax,eax
}012C2E48 pop EDI
012C2E49 pop ESI
012C2E4A pop EBX
012C2E4B添加esp,0D8H
012C2E51 cmp ebp,esp
012C2E53调用__RTC_CHECKESP(012C1140H)
012C2E58 mov esp,ebp
012C2E5A pop ebp
012C2E5B ret

强调的5行是唯一通过正确初始化变量i而删除的行。行'push12c2e5ch，call__rtc_uninituse'调用显示错误框的函数，指针指向包含变量名（“i”）的字符串作为参数。

我不能理解的是执行实际测试的3行：

012C2E0E mov字节ptr[ebp-0D1h],0
012C2E15 cmp字节ptr[ebp-0D1h],0
012C2E1C jne WMAIN+3BH(012C2E2BH)

有事吗？也许探针是为了完全不同的东西，比如说测试某个字节是否可写？

Answer 1

[ebp-0D1h]是编译器用来跟踪变量“初始化”状态的临时变量。如果我们稍微修改一下源码，就会更清楚：

int _tmain(int argc, _TCHAR* argv[])
{
    int i, j;
    printf("%d %d", i, j);
    i = 1;
    printf("%d %d", i, j);
    j = 2;
    return 0;
}

生成以下内容（跳过无关部分）：

mov DWORD PTR [ebp-12], -858993460      ; ccccccccH
mov DWORD PTR [ebp-8], -858993460       ; ccccccccH
mov DWORD PTR [ebp-4], -858993460       ; ccccccccH
mov BYTE PTR $T4694[ebp], 0
mov BYTE PTR $T4693[ebp], 0

在prolog中，变量用0xCC填充，两个跟踪变量（一个用于i，一个用于j)设置为0。

; 7    :        printf("%d %d", i, j);    
    cmp BYTE PTR $T4693[ebp], 0
    jne SHORT $LN3@main
    push    OFFSET $LN4@main
    call    __RTC_UninitUse
    add esp, 4
$LN3@main:
    cmp BYTE PTR $T4694[ebp], 0
    jne SHORT $LN5@main
    push    OFFSET $LN6@main
    call    __RTC_UninitUse
    add esp, 4
$LN5@main:
    mov eax, DWORD PTR _j$[ebp]
    push    eax
    mov ecx, DWORD PTR _i$[ebp]
    push    ecx
    push    OFFSET $SG4678
    call    _printf
    add esp, 12                 ; 0000000cH

if ( $T4693 == 0 )
  _RTC_UninitUse("j");
if ( $T4694 == 0 )
  _RTC_UninitUse("j");
printf("%d %d", i, j);

; 8    :        i = 1;    
    mov BYTE PTR $T4694[ebp], 1
    mov DWORD PTR _i$[ebp], 1

; 10   :        j = 2;
mov BYTE PTR $T4693[ebp], 1
mov DWORD PTR _j$[ebp], 2