堆栈合并点并在CLR中进行管理指针

Question

我的理解是，.NET CLR被允许运行“无法验证”和“可验证”字节码。但是，在这两种情况下，字节码都必须根据ECMA-CIL为“正确的CIL”。可以使用C＃的不安全功能来生成正确但无法验证的字节码。可验证的字节码可能来自日常C＃。

无论哪种方式，.NET CLR必须以某种方式保证字节码为正确的CIL。为此，它必须在每次指令之前静态地推断有关堆栈状态的基本信息。例如，元素数量和非常粗糙的类型推理。如果它具有多个前身，则必须在基本块开始时合并。

我的问题是，是否可以合并不同类型的托管指针？我的意思是关于正确的CIL，但不一定是可验证的CIL。

.method public static void Bar (int32& a, uint32& b, bool d) cil managed
{
    .maxstack 8
    IL_0003: ldarg.2
    IL_0004: brfalse.s IL_000b

    IL_0006: ldarg.0
    IL_0009: br.s IL_000d

    IL_000b: ldarg.1

    IL_000d: pop
    IL_000e: ret
}

Ilverify报告：

IL]: Error [PathStackUnexpected]: [Test.dll : .Test::Bar(int32&, uint32&, bool)][offset 0x00000006][found address of Int32][expected address of UInt32] Non-compatible types on stack depending on path.

我的问题是我不知道这是否是关于字节码的可验证性或正确性。我的意思是“可验证性”和“正确性”，就像在ECMA-CIL中定义它们一样。我也想知道我是否可能误解标准。

Answer 1

ECMA-335，第83页，说：

堆栈的类型状态（堆栈深度和每个元素的类型
对于所有可能的控制流路径，在程序中的任何给定点堆栈）均应相同。例如，将禁止在每次迭代时在堆栈上推出新元素的程序。

第85页加强了这一点：

不管允许执行到达那里的控制流量如何，堆栈上的每个插槽均应在方法主体内的任何给定点具有相同的数据类型。

因此，通常，堆栈上元素的类型必须相同。但是，I.12.3.2.1节继续指定评估堆栈仅确认为由这些类型组成：int64，int32，本机代码>，f，＆amp;，o， *（本机int或＆amp; < /code>），或任何任意用户定义的值类型。

这似乎暗示着，虽然CIL将int32＆amp;和uint32＆amp; amp;视为不同类型，而评估堆栈则将它们视为＆amp;，，因此，两个控制流的“类型状态”都是相同的。因此，CIL为正确。

可验证性是一个更强的标准，可确保该程序最终是内存安全的，并且在有关程序内存的所有情况下都具有可预测的结果。验证不使用CLI用于评估堆栈的类型有限的类型，而是要求类型状态 compatibil ，通常是通过具有相同的验证类型。

在您的情况下，重要的是转介到变量的类型：int32和uint32。如第36页所述：

类型T的验证类型是以下内容：
...
2。如果T是托管指针类型S＆amp; S的减少类型为：
...
INT32，然后其验证类型为int32＆amp;。

同样，在同一页面上：

类型T的还原类型是以下内容：
1。如果t的基础类型为：
...
INT32或未签名的INT32，其还原类型为INT32。

结果，还原类型都是 int32，因此这两个参数的验证类型均为int32＆amp;，无论其签名如何CLI是可验证的。