篡改装配时,为什么我不能删除原始指令?

时间:2015-08-12 15:10:19

标签: mono il mono.cecil tampering ilspy

为了能够test legacy code which relies on SharePoint,我需要模拟SharePoint的一些对象。我通过篡改SharePoint程序集来实现这一点,并在运行中替换他们的方法。

这适用于某些情况,但不适用于其他情况。我遇到的一个奇怪的情况就是这个。

我希望用自己的实现替换SPContext.Current的getter;为了简单起见,我的实现只是抛出异常:

.property class Microsoft.SharePoint.SPContext Current()
{
  .get class Microsoft.SharePoint.SPContext Proxy.SPContextProxy::get_Current()
}

.method public hidebysig specialname static 
  class Microsoft.SharePoint.SPContext get_Current () cil managed 
{
  // Method begins at RVA 0x877e68
  // Code size 12 (0xc)
  .maxstack 8

  IL_0000: nop
  IL_0001: ldstr "Proxy don't have an effective implementation of this property."
  IL_0006: newobj instance void [mscorlib]System.NotImplementedException::.ctor(string)
  IL_000b: throw
} // end of method SPContextProxy::get_Current

当篡改原始程序集时,如果我替换SPContext.Current getter对应的IL代码,则该属性不能再使用。我甚至无法在ILSpy中可视化其内容,因为这是显示的内容:

System.NullReferenceException: Object reference not set to an instance of an object.
   at Mono.Cecil.Cil.CodeReader.ReadExceptionHandlers(Int32 count, Func`1 read_entry, Func`1 read_length)
   at Mono.Cecil.Cil.CodeReader.ReadSection()
   at Mono.Cecil.Cil.CodeReader.ReadFatMethod()
   at Mono.Cecil.Cil.CodeReader.ReadMethodBody()
   at Mono.Cecil.Cil.CodeReader.ReadMethodBody(MethodDefinition method)
   at Mono.Cecil.MethodDefinition.<get_Body>b__2(MethodDefinition method, MetadataReader reader)
   at Mono.Cecil.ModuleDefinition.Read[TItem,TRet](TRet& variable, TItem item, Func`3 read)
   at Mono.Cecil.MethodDefinition.get_Body()
   at ICSharpCode.Decompiler.Disassembler.ReflectionDisassembler.DisassembleMethodInternal(MethodDefinition method)
   at ICSharpCode.ILSpy.ILLanguage.DecompileProperty(PropertyDefinition property, ITextOutput output, DecompilationOptions options)
   at ICSharpCode.ILSpy.TextView.DecompilerTextView.DecompileNodes(DecompilationContext context, ITextOutput textOutput)
   at ICSharpCode.ILSpy.TextView.DecompilerTextView.<>c__DisplayClass16.<DecompileAsync>b__15()

另一方面,当我在原始说明之前插入我的指令时,我可以成功调用getter,并在ILSpy中查看其内容:

.property class Microsoft.SharePoint.SPContext Current()
{
  .custom instance void [Microsoft.SharePoint.Client.ServerRuntime]Microsoft.SharePoint.Client.ClientCallableAttribute::.ctor() = (
    01 00 00 00
  )
  .get class Microsoft.SharePoint.SPContext Microsoft.SharePoint.SPContext::get_Current()
}

.method public hidebysig specialname static 
  class Microsoft.SharePoint.SPContext get_Current () cil managed 
{
  // Method begins at RVA 0x33e2d8
  // Code size 61 (0x3d)
  .maxstack 1
  .locals init (
    [0] class Microsoft.SharePoint.SPContext,
    [1] class [System.Web]System.Web.HttpContext,
    [2] class Microsoft.SharePoint.SPContext
  )

...按照我插入的说明进行操作:

  IL_0000: nop
  IL_0001: ldstr "Proxy doesn't implement this property yet."
  IL_0006: newobj instance void [mscorlib]System.NotImplementedException::.ctor(string)
  IL_000b: throw

...遵循原始说明:

  IL_000c: ldnull
  IL_000d: stloc.0
  IL_000e: call class [System.Web]System.Web.HttpContext [System.Web]System.Web.HttpContext::get_Current()
  IL_0013: stloc.1
  IL_0014: ldloc.1
  IL_0015: brfalse.s IL_0039
  .try
  {
    IL_0017: ldloc.1
    IL_0018: call class Microsoft.SharePoint.SPWeb Microsoft.SharePoint.WebControls.SPControl::GetContextWeb(class [System.Web]System.Web.HttpContext)
    IL_001d: brtrue.s IL_0023

    IL_001f: ldnull
    IL_0020: stloc.2
    IL_0021: leave.s IL_003b

    IL_0023: leave.s IL_002a
  } // end .try
  catch [mscorlib]System.InvalidOperationException
  {
    IL_0025: pop
    IL_0026: ldnull
    IL_0027: stloc.2
    IL_0028: leave.s IL_003b
  } // end handler
  .try
  {
    IL_002a: ldloc.1
    IL_002b: call class Microsoft.SharePoint.SPContext Microsoft.SharePoint.SPContext::GetContext(class [System.Web]System.Web.HttpContext)
    IL_0030: stloc.0
    IL_0031: leave.s IL_0039
  } // end .try
  catch [mscorlib]System.IO.FileNotFoundException
  {
    IL_0033: pop
    IL_0034: leave.s IL_0039
  } // end handler
  catch [mscorlib]System.InvalidOperationException
  {
    IL_0036: pop
    IL_0037: leave.s IL_0039
  } // end handler

  IL_0039: ldloc.0
  IL_003a: ret

  IL_003b: ldloc.2
  IL_003c: ret
} // end of method SPContext::get_Current

在插入新的指令之前删除原始指令时,是什么阻止ILSpy加载代码?

备注:

  • 使用MethodDefinition.Body.Instructions集合(以及相应的InsertRemove方法)使用Mono.Cecil进行篡改。

  • Microsoft.SharePoint程序集的一些其他方法和属性已成功篡改:ILSpy显示生成的IL代码。

  • 我认为.maxstack指令可能是个问题(原始属性中的1个,代理中的8个,结果中的1个)。经过对单独项目的一些测试后,它似乎没有效果。

  • 我还怀疑异常可能是原因(原始代码会抛出与新代码不同的异常)。经过几次测试on a separate project之后,它似乎也没有效果。

1 个答案:

答案 0 :(得分:4)

当IL以文本形式显示时,异常处理块(.trycatch等)作为IL指令的实际块出现,就像它们在C#中一样。

但是在二进制形式中,异常处理块被单独存储(参见§II.25.4.6 Exception handling clauses of ECMA-335)并使用偏移量引用IL指令。在Cecil中,异常处理程序使用MethodBody.ExceptionHandlers属性表示。

因此,如果您使用自己的说明替换了旧的MethodBody.Instructions,那么旧的异常处理程序的偏移很可能现在无效,从而导致问题。 (塞西尔抛出NullReferenceException的事实听起来像是一个错误,考虑报告它。)

您链接到的没有显示此问题的另一个示例是不同的,因为原始方法不包含异常处理程序,它抛出异常。并且throw只是一个普通的IL指令,它没有特殊的表示,例如.try / catch确实如此。