问题IL 明文存放在程序集中.NET 程序的 IL 代码以明文形式存储在 .text 节中。即使是混淆后的程序使用 dnSpy 打开右键方法 → “Edit Method Body” → 可以看到完整的 IL.method public hidebysig static float64 Calculate(float64 a, float64 b) cil managed{.maxstack 2IL_0000: ldarg.0IL_0001: ldarg.1IL_0002: addIL_0003: ret}方法体加密的目标让这个方法体在静态分析时不可见只有在运行时通过正确的密钥才能解密并执行。核心思路提取、加密、替换、解密执行保护时build-time:提取目标方法的完整 IL 体├── IL 指令字节码├── 局部变量签名 (local signature)├── 异常处理器表└── 方法签名 (返回类型、参数类型)序列化为 ILED 格式IL Encoded Data加密 → 以 ManifestResource 嵌入程序集替换原方法体为 stub→ 创建 object[] 参数数组→ 加载方法 token→ 调用 MethodGuard.Invoke(token, args)→ 如有返回值则 unbox ret运行时run-time:首次调用 → MethodGuard.Invoke(token, args)二分查找 token 对应的加密数据解密 → 反序列化 ILED → 解析 IL EH local sig通过 DynamicMethod ILGenerator 重建完整方法体缓存 DynamicMethod 委托 → 之后调用 O(1)执行并返回结果方法体 Stub参数打包与 MethodGuard 调用原方法签名float Calculate(float a, float b)替换后的 stub// 创建参数数组ldc.i4.2newarr System.Objectdupldc.i4.0ldarg.0box float64stelem.refdupldc.i4.1ldarg.1box float64stelem.ref// 加载 tokenldc.i4// 调用 MethodGuardcall object MethodGuard::Invoke(uint token, object[] args)// 还原返回值unbox.any float64retldarg.0 → 原方法的第一个参数 a注意 .NET 实例方法中 ldarg.0 this静态方法的 ldarg.0 第一个参数DynamicMethod 运行时重建 IL运行时MethodGuard.Invoke 解密数据后调用 CreateDynamicMethod通过 ILGenerator 逐条发出 IL 指令// 伪代码示意非真实源码DynamicMethod dm new DynamicMethod(“”, returnType, paramTypes, ownerModule);ILGenerator il dm.GetILGenerator();// 声明局部变量foreach (var local in locals)il.DeclareLocal(local.Type);// 重建 ILforeach (var instruction in instructions){switch (instruction.OpCode){case OpCodes.Ldarg_0: il.Emit(OpCodes.Ldarg_0); break;case OpCodes.Add: il.Emit(OpCodes.Add); break;case OpCodes.Call: il.Emit(OpCodes.Call, ResolveMethod(instruction.Token)); break;// … 200 条指令映射 …}}// 异常处理器foreach (var eh in exceptionHandlers){il.BeginExceptionBlock();// emit try bodyil.BeginCatchBlock(eh.CatchType);// emit catch bodyil.EndExceptionBlock();}var del dm.CreateDelegate(delegateType);5. ILED 序列化格式ILED 是我们自研的 IL 二进制序列化格式高效紧凑通常比原始 IL 体小 30-50%[Header]4 bytes: Total size2 bytes: Version[LocalSignature]2 bytes: Sig lengthN bytes: Signature blob[ILBody]2 bytes: IL code lengthN bytes: IL bytecode token resolution hints[ExceptionHandlers]2 bytes: EH count8 bytes per EH: Try[offset,len] Handler[offset,len] type加密后添加魔术头 0xCAFEBABE存储为 ManifestResource。异常处理器EH的重建DynamicMethod 通过 ILGenerator 支持异常处理器但有以下限制不支持 fault 块finally 需要手动管理局部变量槽leave 指令需要指定目标 label我们的重建器正确处理所有 EH 类型并为 finally/fault 生成补偿逻辑。ldstr 指令的特殊处理DynamicMethod 的 ResolveString 不回退到 owner 模块的 #US 字符串堆。处理策略保护时收集所有 Ldstr 指令的字符串序列化到 ILED 数据中不依赖模块元数据重建时通过 ILGenerator 重新 Emit(OpCodes.Ldstr, “the string”)8. Token 解析owner 模块的关键作用与虚拟化不同方法体加密有一个关键优势DynamicMethod 的 owner 模块 当前保护模块。// _ownerModule typeof(MethodGuard).Module 目标程序集DynamicMethod dm new DynamicMethod(“”, returnType, paramTypes, _ownerModule);因此 IL 中的 token如 call 0x0A000001可以直接在 owner 模块中解析——不需要虚拟化那样的名称反射机制。这既简化了实现也提升了运行时性能。方法选择与限制自动跳过以下方法条件 原因泛型方法 DynamicMethod 不支持泛型实例化含 ref struct 局部变量 Span 等不能 boxing值类型实例方法 this 指针语义复杂byref-like 返回/参数 不能 boxing抽象方法 / P/Invoke / 无方法体 —含 ldftn/ldvirtftn 函数指针无法传递通过 --method-scope 控制加密范围All — 所有合格方法EntryPointOnly — 仅入口点方法ByMethodName — 按名称指定–method-names “Calculate;Verify”10. 性能与安全性指标 原生 方法体加密首次调用 ~10ns ~0.5-2ms解密DynamicMethod 创建后续调用 ~10ns ~10ns缓存委托直接调用额外内存 0 解密缓冲区 DynamicMethod 缓存首次调用有毫秒级延迟但后续调用与原生代码无异——因为 DynamicMethod 一经 JIT 编译即与普通方法无差别。结语方法体加密在安全性和性能之间达到了优秀的平衡——静态分析完全无法看到方法实现运行时首次解密后性