Question

我可以编写，编译并成功运行以下IL程序，其中.maxstack大小设置为1，这太低了，因为程序在一个时间点在堆栈上有两个值（即2 + 2 == 4）。该程序在中没有在CLR中崩溃，并以＆＃34; Hello World＆＃34;的所有预期输出完成执行。接着是4号。

然而，这个程序（正确地）不会传递PEVerify，它指出了堆栈溢出异常，并带有以下消息：

Microsoft（R）.NET Framework PE Verifier。版本4.0.30319.18020   版权所有（c）Microsoft Corporation。保留所有权利。

[IL]：错误：[C：\ tmp \ hello.exe：HelloWorld1.Program :: Main] [偏移量   0x00000011]堆栈溢出。 1错误验证hello.exe

为什么它不会在CLR中崩溃？

.assembly extern mscorlib {}
.assembly SampleIL {
    .ver 1:0:1:0
}

.class private auto ansi beforefieldinit HelloWorld1.Program
    extends [mscorlib]System.Object
{
    // Methods
    .method private hidebysig static 
        void Main (
            string[] args
        ) cil managed 
    {
        // Method begins at RVA 0x2050
        // Code size 13 (0xd)
        .maxstack 1 // **** NOTE THIS LINE *****
        .entrypoint

        IL_0000: nop
        IL_0001: ldstr "hello world"
        IL_0006: call void [mscorlib]System.Console::WriteLine(string)
        IL_000b: nop

        ldc.i4 2
        ldc.i4 2
        add
        call void [mscorlib]System.Console::WriteLine(int32)

        IL_000c: ret
    } // end of method Program::Main

    .method public hidebysig specialname rtspecialname 
        instance void .ctor () cil managed 
    {
        // Method begins at RVA 0x205e
        // Code size 7 (0x7)
        .maxstack 8    

        IL_0000: ldarg.0
        IL_0001: call instance void [mscorlib]System.Object::.ctor()
        IL_0006: ret
    } // end of method Program::.ctor

} // end of class HelloWorld1.Program

Answer 1

通过@RaymondChen从问题评论中得出答案

公共语言基础结构（CLI）
分区III CIL指令集
最终草案，2005年4月

1.7.4必须提供maxstack

[...剪辑...]
  [注意： Maxstack与...有关   分析程序，而不是运行时堆栈的大小。它   没有指定堆栈帧的最大大小（以字节为单位），但是   而是分析工具应跟踪的项目数。   结束说明]

为什么具有PEVerified Stack Overflow Scenario（maxstack）的程序不会崩溃CLR？

1 个答案: