简单反汇编之还原(谁是窃贼算法)C++代码

    能读懂汇编代码不难，但是要是从汇编代码还原成源码就有的难度了(高手飘过)，今天闲来无事，从网上找了个简单的算法，试着从汇编代码还原代码，从网上找了个谁是窃贼的算法代码，在没有看源码的情况下编译，然后反汇编Release版，分析的汇编代码如下：

00401000 /$ 83EC 10 SUB ESP,10 //安排4个单位堆栈内存 00401003 |. 55 PUSH EBP 00401004 |. 56 PUSH ESI 00401005 |. 57 PUSH EDI 00401006 |. 33ED XOR EBP,EBP //ebp清零 00401008 |> 33C0 /XOR EAX,EAX //eax清零 0040100A |. 8D4C24 0C |LEA ECX,DWORD PTR SS:[ESP+C] //ecx=esp+c(esp指向分配内存的栈顶) 0040100E |> 33D2 |/XOR EDX,EDX //edx清零 00401010 |. 3BC5 ||CMP EAX,EBP //比较EAX和EBP 00401012 |. 0F94C2 ||SETE DL //如果相等dl至1否则至0 00401015 |. 8911 ||MOV DWORD PTR DS:[ECX],EDX //edx存入ecx索引处的栈 00401017 |. 40 ||INC EAX //eax++ 00401018 |. 83C1 04 ||ADD ECX,4 //ecx+4(堆栈指针下移一个单位) 0040101B |. 83F8 04 ||CMP EAX,4 //eax与4比较 0040101E |.^ 7C EE |/JL SHORT sourceTe.0040100E //eax小于4则跳转 00401020 |. 8B4424 10 |MOV EAX,DWORD PTR SS:[ESP+10] //获取数组第二个值放入eax 00401024 |. 8B4C24 18 |MOV ECX,DWORD PTR SS:[ESP+18] //获取数组第四个值放入ecx 00401028 |. 8D1408 |LEA EDX,DWORD PTR DS:[EAX+ECX] //EDX存放EAX+ECX 0040102B |. 83FA 01 |CMP EDX,1 //EDX与1比较 0040102E |. 75 54 |JNZ SHORT sourceTe.00401084 //不相等跳转到sourceTe.00401084 00401030 |. 8B4C24 14 |MOV ECX,DWORD PTR SS:[ESP+14] //获取数组第三个值放入ECX中 00401034 |. 03C8 |ADD ECX,EAX //ECX+=EAX 00401036 |. 3BCA |CMP ECX,EDX //比较 00401038 |. 75 4A |JNZ SHORT sourceTe.00401084 //不相等则跳转到sourceTe.00401084 0040103A |. 8B5424 0C |MOV EDX,DWORD PTR SS:[ESP+C] //EDX存放数组第一个值 0040103E |. 03D0 |ADD EDX,EAX //EDX+=EAX 00401040 |. 83FA 01 |CMP EDX,1 //比较 00401043 |. 75 3F |JNZ SHORT sourceTe.00401084 //不相等则跳转sourceTe.00401084 00401045 |. 68 38704000 |PUSH sourceTe.00407038 ; ASCII "The thief is " 0040104A |. E8 51000000 |CALL sourceTe.004010A0 0040104F |. 83C4 04 |ADD ESP,4 00401052 |. 33F6 |XOR ESI,ESI //ESI清零 00401054 |. 8D7C24 0C |LEA EDI,DWORD PTR SS:[ESP+C] //获取数组第一个值的地址放入EDX 00401058 |> 833F 00 |/CMP DWORD PTR DS:[EDI],0 //数组第一个值与0比较 0040105B |. 74 11 ||JE SHORT sourceTe.0040106E //相等跳转到sourceTe.0040106E 0040105D |. 8D46 41 ||LEA EAX,DWORD PTR DS:[ESI+41] //EAX=ESI+41H 00401060 |. 50 ||PUSH EAX 00401061 |. 68 34704000 ||PUSH sourceTe.00407034 ; ASCII "%c." 00401066 |. E8 35000000 ||CALL sourceTe.004010A0 0040106B |. 83C4 08 ||ADD ESP,8 0040106E |> 46 ||INC ESI //ESI++ 0040106F |. 83C7 04 ||ADD EDI,4 //EDI+4 00401072 |. 83FE 03 ||CMP ESI,3 //ESI与3比较 00401075 |.^ 7E E1 |/JLE SHORT sourceTe.00401058 //小于等于跳转 00401077 |. 68 30704000 |PUSH sourceTe.00407030 0040107C |. E8 1F000000 |CALL sourceTe.004010A0 00401081 |. 83C4 04 |ADD ESP,4 00401084 |> 45 |INC EBP //EBP++ 00401085 |. 83FD 04 |CMP EBP,4 //EBP与4比较,从上面的指令可以看出循环4次 00401088 |.^ 0F8C 7AFFFFFF /JL sourceTe.00401008 //小于则跳转 0040108E |. 5F POP EDI 0040108F |. 5E POP ESI 00401090 |. 5D POP EBP 00401091 |. 83C4 10 ADD ESP,10 00401094 /. C3 RETN

 

  最后根据汇编代码还原出来的C++代码(比较乱)：

int s[4]; for(int b=0;b<4;b++) { int a=0; for(a;a<4;a++) { if(b==a) { s[a]=1; } else { s[a]=0; } } a=s[1]; int c=s[3]; int d=a+c; if(d==1) { c=s[2]; c=c+a; if(c==d) { d=s[0]; d=d+a; if(d==1) { printf("The thief is "); //int s=0; for(d=0;d<4;d++) { if(s[d]!=0) { a=d+65; printf("%c./n",a); } } } } } }

  还原代码的处女作品，以后还是要多多练习，才能有助于汇编功底。。。。。

 

 最后附上算法原题：

公安人员审问四名窃贼嫌疑犯。已知，这四人当中仅有一名是窃贼，还知道这四人中每人要么是诚实的，要么总是说谎的。在回答公安人员的问题中：
甲说：“乙没有偷，是丁偷的。”
乙说：“我没有偷，是丙便的。”
丙说：“甲没有偷，是乙偷的。”
丁说：“我没有偷。”
请根据这四人的答话判断谁是盗窃者。