需要一些帮助从 .NET JITted 代码中破译一行汇编代码
-
13-09-2019 - |
题
在 C# 构造函数中,最终会调用 this(...)
, ,实际的调用被翻译成这样:
0000003d call dword ptr ds:[199B88E8h]
这里的DS寄存器内容是什么?我知道这是数据段,但是这是通过 VMT 表或类似的调用吗?但我对此表示怀疑,因为 this(...)
不会是对虚拟方法的调用,只是另一个构造函数。
我问这个问题是因为该位置的值在某种程度上似乎很糟糕,如果我按 F11,跟踪到 (Visual Studio 2008),在该调用指令上,程序会因访问冲突而崩溃。
该代码位于第 3 方控制库的深处,虽然我有源代码,但我没有用足够的调试信息编译的程序集,我可以通过 C# 代码跟踪它,只能通过反汇编程序,然后我有将其与实际代码相匹配。
有问题的 C# 代码是这样的:
public AxisRangeData(AxisRange range) : this(range, range.Axis) {
}
Reflector 向我展示了这个 IL 代码:
.maxstack 8
L_0000: ldarg.0
L_0001: ldarg.1
L_0002: ldarg.1
L_0003: callvirt instance class DevExpress.XtraCharts.AxisBase DevExpress.XtraCharts.AxisRange::get_Axis()
L_0008: call instance void DevExpress.XtraCharts.Native.AxisRangeData::.ctor(class DevExpress.XtraCharts.ChartElement, class DevExpress.XtraCharts.AxisBase)
L_000d: ret
这是对同一类的另一个构造函数的最后一次调用失败了。调试器永远不会在其他方法内部出现,它只会崩溃。
JITting 后该方法的反汇编如下:
00000000 push ebp
00000001 mov ebp,esp
00000003 sub esp,14h
00000006 mov dword ptr [ebp-4],ecx
00000009 mov dword ptr [ebp-8],edx
0000000c cmp dword ptr ds:[18890E24h],0
00000013 je 0000001A
00000015 call 61843511
0000001a mov eax,dword ptr [ebp-4]
0000001d mov dword ptr [ebp-0Ch],eax
00000020 mov eax,dword ptr [ebp-8]
00000023 mov dword ptr [ebp-10h],eax
00000026 mov ecx,dword ptr [ebp-8]
00000029 cmp dword ptr [ecx],ecx
0000002b call dword ptr ds:[1889D0DCh] // range.Axis
00000031 mov dword ptr [ebp-14h],eax
00000034 push dword ptr [ebp-14h]
00000037 mov edx,dword ptr [ebp-10h]
0000003a mov ecx,dword ptr [ebp-0Ch]
0000003d call dword ptr ds:[199B88E8h] // this(range, range.Axis)?
00000043 nop
00000044 mov esp,ebp
00000046 pop ebp
00000047 ret
基本上我要问的是:
- 目的是什么
ds:[ADDR]
这里是间接的吗?VMT表仅用于虚拟不是吗?这是构造函数 - 构造函数是否尚未进行 JIT 处理,这可能意味着该调用实际上会通过 JIT 填充程序进行调用?恐怕我已经陷入困境了,所以任何事情都可能有所帮助。
编辑:好吧,问题只是变得更糟,或者更好,或者其他什么。
我们正在Visual Studio 2008解决方案中的C#项目中开发.NET功能,并通过Visual Studio进行调试和开发。
然而,最终,该代码将被加载到由 Win32 Delphi 应用程序托管的 .NET 运行时中。
为了方便实验这些功能,我们还可以配置 Visual Studio 项目/解决方案/调试器,将生成的 dll 复制到 Delphi 应用程序的目录,然后通过 Visual Studio 调试器执行 Delphi 应用程序。
事实证明,如果我在调试器之外运行程序,问题就会消失,但在调试过程中,它每次都会出现。
不确定这是否有帮助,但由于该代码预计在另外 6 个月左右的时间内不会发布生产版本,因此它可以减轻我们即将发布的测试版本的一些压力。
我稍后会深入研究内存部分,但可能要到周末才会发布后续内容。
解决方案
数据段是编译器通常放置全局变量的地方,也是导入地址表所在的地方。
00000029 cmp dword ptr [ecx],ecx
0000002b call dword ptr ds:[1889D0DCh]
第一行实际上是一个空检查,最终引发一个 NullReferenceException
如果位于 ECX 寄存器中的指针无效。
这 callvirt
MSIL 指令必须在调用实际方法之前执行空检查。话虽这么说,我们可以放心地假设这两行汇编代码具有以下 MSIL 代码表示形式:
class DevExpress.XtraCharts.AxisBase DevExpress.XtraCharts.AxisRange::get_Axis()
以及注释的汇编代码:
00000026 mov ecx,dword ptr [ebp-8] // store the pointer to the 'range' in ECX
00000029 cmp dword ptr [ecx],ecx // null-check
0000002b call dword ptr ds:[1889D0DCh] // range.get_Axis()
00000031 mov dword ptr [ebp-14h],eax // store the result in a local variable
00000034 push dword ptr [ebp-14h] // push the result onto a stack
00000037 mov edx,dword ptr [ebp-10h] // this variable was previously loaded with the 'range' pointer
0000003a mov ecx,dword ptr [ebp-0Ch] // here seems to be stored the actual 'this' pointer
0000003d call dword ptr ds:[199B88E8h] // call the this(...) ctor
我不清楚为什么会崩溃,您是否尝试过查找内存位置的内容(DS:[199B88E8h]
)?