(反汇编)逻辑语句的纯算术实现

    瞄的,IT项目管理再次延期考试,就不能一次给个痛快么,已经是第二次延期了.瞄的-____-|||

 

    群里有人贴了段代码,觉得比较好玩,就自己看一下(好吧,下面不是想说这段代码,不过代码还是可以贴一贴的)

bool hasZeroByte(unsigned int x) { return ((x - 0x01010101) & ~x & 0x80808080) != 0; }

 

    这个有爱的同学自己分析吧,测试一个int里面是不是含有0的byte.下面入正题,上图

 

    注意到红框圈出来的3句汇编么,这3句汇编是很有来头d,想深入了解的同学可以看看<逆向工程揭秘>的附录部分.

    上面的汇编是前面代码的反汇编,前面的hasZeroByte()这个函数返回的是一个bool型,简单来说,true是1,false是0;一般在汇编的逻辑是cmp怎么怎么样,然后jz哪里,不然就jmp哪里来设置返回值(好吧,不要深究这句话,你能意会就OK了),但是这里确实是用一种所谓的算术方式来实现逻辑语句,简单的3句汇编就把返回值搞定了.

    下面分析一下,neg指令是汇编里面的求补,你可以这么理解:1.按位求反后加1;2.用0减去操作数之后结果返回操作数;两种理解都对,但是推荐是用第二种理解方式,为什么?因为neg会设置CF位.科普一下,CF位就是所谓的进位/借位标志,OF是溢出标志,两者都可以用来描述操作是否溢出(溢出不一定是上溢,还有下溢),那么区别在哪里?CF位用于无符号数当中的溢出置位,OF用于有符号数中的溢出置位.另外,neg在执行的时候,如果操作数为0,那么CF位置位0;如果操作数非0,那么CF位置位1.结合起来,用第二种理解方式是能够更好的理解的.

    我们知道,函数返回值一般都是通过eax返回的,这个没有异议,这里对eax的操作就是对返回值的操作.由于前面的汇编当中一直以eax作为操作的寄存器,根据代码,最后要判断的就是eax != 0,同时eax也是返回值,记得上面说true是1,false是0,好吧,这里也许有点绕口,如果说eax==0成立,那么我们返回false,也就是返回0,那就是直接返回eax(因为他已经是0),如果eax!=0成立,那么我们返回1.

    看下汇编代码是如何做的,首先neg eax,我们知道了,他会设置CF位,进而第二句,sbb eax, eax;sbb op1,op2实际执行的就是借位减法,这样操作,op1-(op2+CF),如果CF被置位为1了(eax不为0),那么经过这次操作之后,eax就是0xffffffff(也就是-1),之后再进行一次neg eax,那么eax最终就是1了,跟我们上面说的一样,如果eax不为0,那么返回true(就是1);如果CF是置位为0(也即是eax为0),那么sbb eax,eax的结果也是0,最终neg eax仍然是0,也跟我们上面说的一样,如果eax是0,那么我们就返回false(就是0);

    这就是所谓的逻辑语言的纯算术实现了.利用一些汇编指令的特性得到的一些比较有趣的用法.最后得到的结论是,编译帝威武..vczh大神威武..

    不知道我讲清楚了没有,大家有兴趣做道题吧

/* //写出C语言代码,变量名用eax可以了 mov eax, [ebp - 10] and eax, 0x00001000 neg eax sbb eax, eax neg eax */

--------------------------------------------我是分割线---------------------------------------------------

    答案:

  /* if(eax & 0x00001000) return true; else return false; */

 

    如有不对之处,大家一起讨论讨论^_^

 

    末尾的吐槽:失眠太多不是一个好的症状,AM I LOST?