使用.NET的ICorProfilerInfo :: SetILFunctionBody，是否可以将try-finally EH子句添加到没有任何异常处理的方法中？

Question

我正在研究IL重写分析器，我的目标是能够为方法添加try-finally块。实质上：

// IL to set some state 
try {
   // original IL 
} finally { 
   // IL to revert state
}

基于有限的文档和分析API（https://msdn.microsoft.com/en-us/library/ms232096.aspx）的信息，似乎应该能够使用SetILFunctionBody添加新的异常处理子句。

我一直在跟踪http://clrprofiler.codeplex.com/SourceControl/list/changesets?branch=master的微软示例ILRewrite分析器。我添加了代码，将“EHClause”添加到由“ILRewriter”类维护的EHClause列表中，并添加了相应的leave.s和endfinally IL指令。从Profiler的角度看，一切似乎都有效（SetILFunctionBody成功），但是当调用修改后的方法时，我们会看到可怕的“公共语言运行时检测到无效程序”。没有进一步信息的例外。

我试过的事情：

• 检查了仪器，代码没有在受保护区域中执行非法操作（例如，返回或在外部分支）。
• 如果我删除了EHClause并且保留了s / endfinally指令，则检测方法运行正常。
• 我已经在ILRewriting代码中添加了大量日志记录，以便在最后转储修改后的IL，EH信息和字节。我已经使用所需的try-finally和状态跟踪代码制作了类似的方法，并且两种方法的IL（已检测和已编译）是相同的。然而，实际的“导出”字节有点不同。

这让我相信，可能只是简单地为一个方法添加一个新的异常处理子句而不是简单的开始，这不是分析API所支持的。我很乐意听到其他方面以及您如何解决此问题的任何想法。

---

以下是记录的一些信息 - *是原始的IL。

EXPORTING IL:
Offset IL   notes
0   0x28    call EnterScope
5   0x10e   stloc (store isInScope bool)
9   0x00    nop BeginTry
10  0x00    *
11  0x14    *
12  0x0a    *
13  0x02    *
14  0x28    *
19  0x0a    *
20  0x06    *
21  0x0b    *
22  0x2b    *
24  0x07    *
25  0xde    leave.s
27  0x10c   ldloc scope bool
31  0x39    brfalse (if not in scope then go to nop-at-endfinally)
36  0x28    call LeaveScope
41  0x00    nop-at-endfinally
42  0xdc    endfinally
43  0x2a    *

EXPORT EHClause count:1
EXPORT EHClause 0: ClassToken[0x0], ExceptionFilter[0x0] (null?:1), ExceptionFlags:[0x2]; TryBegin:[0x0]@9, TryEnd:[0x10C]@27, HandlerBegin:[0x10C]@27, HandlerEnd:[0xDC]@42
EXPORT EHClause -- using classToken because (clause->ExceptionFlags &       COR_ILEXCEPTION_CLAUSE_FILTER) == 0
Export EHClause -- has classToken [0x0] 0
ILWriter::Export. MaxStack:9, EHCount:1, InstructionCount:20, CodeSize:44, TotalSize:84, 
Method Bytes (84): 0x1b 0x30 0x09 0x00 0x2c 0x00 0x00 0x00 0x10 0x00 0x00 0x11 0x28 0x46 0x00 0x00 0x0a 0xfe 0x0e 0x02 0x00 0x00 0x00 0x14 0x0a 0x02 0x28 0x11 0x00 0x00 0x0a 0x0a 0x06 0x0b 0x2b 0x00 0x07 0xde 0x10 0xfe 0x0c 0x02 0x00 0x39 0x05 0x00 0x00 0x00 0x28 0x46 0x00 0x00 0x0a 0x00 0xdc 0x2a 0x41 0x1c 0x00 0x00 0x02 0x00 0x00 0x00 0x09 0x00 0x00 0x00 0x12 0x00 0x00 0x00 0x1b 0x00 0x00 0x00 0x10 0x00 0x00 0x00 0x00 0x00 0x00 0x00 

---

这里只是添加一个nop与当前的分析器一样：

ILWriter::Import finished. MaxStack:6, EHCount:0, InstructionCount:11, CodeSize:16, MethodSize:28
EXPORTING IL:
0   0x00    nop
1   0x00    
2   0x14    
3   0x0a    
4   0x02    
5   0x28    
10  0x0a    
11  0x06    
12  0x0b    
13  0x2b    
15  0x07    
16  0x2a    
ILWriter::Export. MaxStack:6, EHCount:0, InstructionCount:12, CodeSize:17, TotalSize:32, 
Method Bytes (32): 0x13 0x30 0x06 0x00 0x11 0x00 0x00 0x00 0x01 0x00 0x00 0x11 0x00 0x00 0x14 0x0a 0x02 0x28 0x11 0x00 0x00 0x0a 0x0a 0x06 0x0b 0x2b 0x00 0x07 0x2a 0x00 0x00 0x00 

Answer 1

简短的回答是，是的，这是可能的。

答案很长，在添加新的EH子句时要记住很多要求。例如，添加CorILMethod_MoreSects标志，将微小方法转换为胖方法，并且方法的IL也可能需要进行小的更改。例如，添加leave和endfinally指令并确保leave的目标有效，并记住leave清除堆栈，因此你可能需要一种方法来从try块中获取返回值到返回:)