为什么CLR的jmp指令不可验证？

Question

为什么CLR的jmp指令不可验证？

14

我知道jmp指令已经有一段时间了，但是它从来没有让我觉得不安全。最近我查看了CIL规范，非常惊讶地发现jmp被认为是不可验证的。

- naasking

这是因为它无法验证当前部分代码块执行的影响，然后将其拼接到目标代码块中吗？我的小梦境似乎与堆栈/堆追踪有关...虽然我不确定...但这立即被这里的信息抵消了... http://msdn.microsoft.com/en-us/library/system.reflection.emit.opcodes.jmp.aspx ...其中明确指出没有跟踪/传输堆栈信息。也许微软在“前端”下隐藏了一些东西。 - War

我不知道为什么它是无法验证的，但我有一条有趣的信息。我们的EQATEC Profiler收集所有代码的匿名统计信息（顺便说一下，使用EQATEC Analytics）。由于jmp很棘手且未被最佳处理，我们决定跟踪它实际发生的频率。我们现在拥有2年的数据，从超过100万个已分析程序集中收集了200亿个CIL指令。相当多。而其中有多少是jmp呢？没有！是的，jmp从未在任何用户应用程序（NETCF、SL、WP7、F#等）中发生过。相当惊讶。 - Richard Flamsholt

1

其实我并不太惊讶。除了托管C++之外，我所知道的编译器都不会发出jmp指令，因为它是不可验证的。任何jmp的使用可能都被隐藏在受信任的类库中。 - naasking

我知道这已经超过一年了，但是还是要给提问者点个赞。我在搜索CIL指令的统计数据时遇到了这个问题。虽然它没有回答我的问题，但它确实增加了我的知识。非常好的问题。 - luis.espinal

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Doug McClean · Accepted Answer

因为与call、callvirt或calli不同，调用者的堆栈框架将保留在堆栈上，以供由被调用方触发的未来代码访问安全性堆栈步行器看到，而jmp指令在转换为被调用方之前会拆除调用者的堆栈框架，因此对于被调用方可能触发的任何CAS堆栈步行器都是不可见的。

编辑：我认为naasking关于上面的答案是错误的。我现在认为（可验证的）tail.call序列和（不可验证的）jmp序列之间的区别可能在于尾调用需要将调用的参数推送到评估堆栈中，在那里它们可以按照正常方式进行验证，而jmp需要评估堆栈为空，并导致跳转者继承跳转者的参数。可能没有理由复杂化验证器以检查jmp指令，但是在类似于强加于tail.call序列的条件下可能是可能的（其中之一是调用者和被调用者必须在同一个程序集中，这排除了我的CAS猜测，至少直到显式.Deny()调用）。如果是这样，这将是规范的相关部分：（第III部分，第3.37节）当前参数被传输到目标方法。执行此指令时，评估堆栈必须为空。目标地址处的调用约定、参数数量和类型必须与当前方法相匹配。