如何在CIL中使用“no.”前缀指令？修改字节码后报错求助

核心问题：操作编码与指令结构错误 #

你的尝试失败主要源于两个关键错误：

1. 指令编码与位置完全错误
   no. nullcheck是前缀指令，必须紧跟在它要修饰的指令（比如callvirt）之前，而非替换无关的neg指令后填入错误字节。你将三个neg（字节序列65 65 65）替换为FE 19 04，但0x04是ldarg.2的操作码，这直接破坏了后续IL指令的结构：原本的callvirt指令被当成了ldarg.2的操作数，导致ILDASM解析出错误的方法名（GetNumber$PST06000002），运行时自然抛出InvalidProgramException。
   正确的做法是：找到callvirt指令的操作码（原代码中为0x6F），在它前面插入no. nullcheck的前缀字节FE 19，同时必须修正程序集中方法的IL字节长度标记（因为插入字节会改变总长度，运行时会校验这个长度，不修正会被判定为无效程序集）。

2. 对no.前缀的支持认知不足
   no.系列前缀属于CIL的未公开内部指令，官方ILASM编译器并不支持直接编写这类指令——它们主要用于.NET运行时内部的优化场景（比如JIT生成的代码、运行时内部调用逻辑）。即使你正确修改了字节码，不同版本的.NET运行时对这类指令的支持也不一致：.NET Framework基本不支持执行包含这类指令的程序集，而CoreCLR在特定版本中允许内部使用，但对外部手动修改的程序集可能会直接拒绝加载或抛出异常。

补充说明 #

PEVerify提示的“偏移量0处存在无效操作码”是字节结构破坏后的连锁反应——运行时解析IL时出现指令错位，错误地将某个字节识别为无效操作码，并非FE 19本身完全无效（在CoreCLR的内部逻辑中，no. nullcheck是被支持的，但仅限定在特定上下文）。

内容的提问来源于stack exchange，提问作者Jonas _