Visual Studio 调试器bug一例分析

背景

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