背景
Visual Studio一度被认为是“最强大的IDE”,不过前段时间有thu学长遇到一个问题,是和调试器相关的,我和他qq联系,让他远程发图,发现了一例VS的调试器bug。
问题
这是调试过程中的截图,在运行光标处之前,看到lReturn是0
然后运行到第二条语句,lReturn还是0,state是0
但是运行完那句if判断,lReturn突然变成了一个负数,而且state也没有变,是0.
但是那句if语句:
if (SCARD_S_SUCCESS == lReturn) state = 1;
这句根本就不涉及lReturn这个变量的写入啊,难道是有其他线程写入了?问了他,他说没有,这是单线程程序。
假设
我想了想,可能和寄存器和内存的关系有关,x86下函数的返回值我记得是存在EAX寄存器之中的,然后编译器看到后面的判断,根本不需要把寄存器里面存放的本应写入lReturn的值刷入内存,因为直接用寄存器做条件判断更快,所以在执行这句时,没有把SCardEstablishContext的返回值刷入内存(全局变量lReturn的位置),而是等到不得不刷入的时候,也就是函数返回时,刷入了内存。VS的调试器仅仅跟踪了lReturn的内存位置,所以导致了蜜汁修改。学长觉得我能解释的通,但是我还是强行要求他去看看反汇编来证实我说的对不对。
证实
等了好几分钟之后,他给了我反汇编信息:
代码稍微解释下:
call dword ptr [__imp__SCardEstablishContext@16 (72EB407Ch)]; 调用函数,返回值会存在EAX里面
mov ecx, dword ptr [state (72EB6400h)]; 把state读入寄存器ECX
test eax, eax; 判断EAX是否为0(0就是SCARD_S_SUCCESS)
mov edx, 1;
mov dword ptr [lReturn (72EB63F0h)], eax; 把EAX刷入到lReturn的内存中,注意这句是在if判断之后
cmove ecx, edx; 根据前面的判断,把1写入ecx(state对应的寄存器)
mov dword ptr [state (72EB6400h)], ecx; 回刷state