如何对其进行反混淆[按位异或的条件语句]

Question

这相当于什么

if(~(i3 + -1) < -1) { ... }

如果没有 ixor ~ ，

？会是这个吗？

if((i3 + 1) > 0)  { ... }

或（怀疑这一点？）

if((i3 + 0) > 0)  { ... }

或（怀疑这一点？）

if(i3 < -1)  { ... }

谢谢，我自己无法真正测试它，我可以..但我正在编写一个反混淆器，我想百分百确定。

Answer 1

~x 实际上是 -x - 1
因此，-(i3 - 1) 等价于 -(i3 - 1) - 1 ，而 cih 等于 -i3
所以，

if(~(i3 + -1) < -1) { ... } 

等价于：

if(-i3 < -1) { ... } // or simply if(i3 > 1) { ... }

Answer 2

首先，我假设这是 Java，并且 i3 是一个 int （与 byte、short 的工作方式相同），或长）。

i3 + -1 是 i3-1，它只是某个整数。
~ 是按位非。所以我们减一并否定所有位。这与二进制补码数字相反。 （对二进制补码取反通常是通过加 1 然后求补来完成）。幸运的是，这个运算是它自己的逆运算，所以做相反的操作也是对数字的 2 补码求反的一种方法。所以我们最终得到了 -i3。

你只剩下 -i3 < -1 与 i3 > 相同1 这是尽可能清晰的。

Answer 3

~x 是 x 的按位（非逻辑）反转。在二进制补码中，它等于-1 - x。尝试一下。

~0  = -1 -  0 = -1
~-1 = -1 - -1 = 0
~1  = -1 -  1 = -2

现在，将其应用到您的条件中：

-1 - (i3 - 1) < -1
-1 - i3 + 1   < -1   # commutative property of multiplication
   - i3       < -1   # 1 + -1 == 0
     i3       >  1   # * -1 inverts everything, including the inequality

注意，这仅适用于数字是二进制补码的情况 - 但现在几乎所有 CPU（以及大多数编程语言）都以这种方式运行。