Question

这个问题是关于自定义C＃IL代码的静态堆栈分析以及如何设计操作码来满足编译器。

我有代码通过将自己的代码附加到其中来修改现有的C＃方法。为避免原始方法在执行代码之前返回，它将所有 RET 操作码替换为 BR endlabel ，并将该标签添加到原始代码的末尾。然后我在那里添加更多代码，最后是RET。

这一切一般都很好，但在某些方法上失败了。这是一个简单的例子：

public static string SomeMethod(int val)
{
    switch (val)
    {
        case 0:
            return "string1".convert();
        case 1:
            return "string2".convert();
        case 2:
            return "string3".convert();
        // ...
    }
    return "";
}

由此IL代码表示：

.method public hidebysig static string SomeMethod(int32 val) cil managed
{
    .maxstack 1
    .locals val ([0] int32 num)
    L_0000: ldarg.0 
    L_0001: stloc.0 
    L_0002: ldloc.0 
    L_0003: switch (L_002e, L_004f, L_0044, ...)
    L_002c: br.s L_0091
    L_002e: ldstr "string1"
    L_0033: call string Foo::convert(string)
    L_0038: ret 
    L_0039: ldstr "string2"
    L_003e: call string Foo::convert(string)
    L_0043: ret 
    L_0044: ldstr "string3"
    L_0049: call string Foo::convert(string)
    L_004e: ret 
    ... 
    L_0091: ldstr ""
    L_0096: ret 
}

我的程序修改后，代码如下：

.method public hidebysig static string SomeMethod(int32 val) cil managed
{
    .maxstack 1
    .locals val ([0] int32 num)
    L_0000: ldarg.0 
    L_0001: stloc.0 
    L_0002: ldloc.0 
    L_0003: switch (L_002e, L_004f, L_0044, ...)
    L_002c: br.s L_0091
    L_002e: ldstr "string1"
    L_0033: call string Foo::convert(string)
    L_0038: br L_009b // was ret 
    L_0039: ldstr "string2"
    L_003e: call string Foo::convert(string)
    L_0043: br L_009b // was ret 
    L_0044: ldstr "string3"
    L_0049: call string Foo::convert(string)
    L_004e: br L_009b // was ret 
    ... 
    L_0091: ldstr ""
    L_0096: br L_009b // was ret
    L_009b: my code here
    ...
    L_0200: ret
}

我收到编译错误：

无法执行post-long-event操作。例外： System.TypeInitializationException：抛出异常 FooBar的类型初始化程序---＆gt; System.InvalidProgramException：（包装器动态方法）中的IL代码无效Foo：SomeMethod（int）： IL_0000：ldnull

有没有简单的方法以通用方式替换RET并保持静态分析器满意？

Answer 1

问题是所有短跳指令都可能变得太远，因为插入 BR 而不是 RET 会增加操作码大小。

我通过替换以＆＃34; _S＆＃34;结尾的所有操作码来解决它与他们相应的跳远版本。有关此内容的更多详细信息，请查看我对项目的提交：Fixed illegal short jumps

C＃IL代码修改 - 保持堆栈完整

1 个答案: