5

考虑以下 IL 代码：

    .method public static void Main()
    {
        ldstr "Starts Here"
        call void [mscorlib] System.Console::WriteLine(string)
        .try {      
            ldstr "Try Me!"
            call void [mscorlib] System.Console::WriteLine(string)
            leave.s Done
        }
        catch [mscorlib] System.Exception {
            ldstr "Catch Me!"
            call void [mscorlib] System.Console::WriteLine(string)
            leave.s Done
        }
    Done:
        ldstr "Ends Here"
        call void [mscorlib] System.Console::WriteLine(string)
        ret
    }

CLR 如何try在 JIT 代码中定义块？本机代码如下所示：

...
00900076 8b0538214703    mov     eax,dword ptr ds:[3472138h] ("Starts Here")
...

00900090 8b053c214703    mov     eax,dword ptr ds:[347213Ch] ("Try Me!")
...

009000a2 eb1b            jmp     009000bf ;// Done

009000a4 8945d4          mov     dword ptr [ebp-2Ch],eax
009000a7 8b0540214703    mov     eax,dword ptr ds:[3472140h] ("Catch Me!")
...

009000b8 e888293b73      call    clr!JIT_EndCatch (73cb2a45)
009000bd eb00            jmp     009000bf ;// Done

;// Done:
009000bf 8b0544214703    mov     eax,dword ptr ds:[3472144h] ("Ends Here")
...
009000d6 c3              ret

我们可以看到clr!JIT_EndCatch，但是块的开始和结束在try哪里？

4

1 回答 1

4

抖动产生的不仅仅是您可以使用调试器轻松查看的机器代码。你会想读这个答案，它谈到了抖动生成的表来帮助垃圾收集器。

这与异常处理的工作方式非常相似，抖动生成 SafeSEH 实现使用的函数表，让操作系统发现异常过滤器。这样的表具有用于尝试块的开始和结束地址的条目以及用于过滤器的函数指针。它工作的确切方式被严重记录不足，异常处理在过去被恶意软件大量利用，谷歌对“safeseh”的点击不是我想在这里重复的任何东西。在 MSDN article for the assembler's option中有一些关于它的粗略信息。我不知道使用调试器检查这些表的简单方法。

于 2013-10-01T10:00:56.197 回答