能力值：
( LV2，RANK：10 )
|
-
-
26 楼
not ((not x) + y) === x-y
|
能力值：
![]()
(RANK：1130 )
|
-
-
27 楼
好友才能看，你登陆一下
|
能力值：
![]()
(RANK：1130 )
|
-
-
28 楼
减法难在eflag
否则可以 x + ( neg y)
|
能力值：
![]()
(RANK：1060 )
|
-
-
29 楼
不理解
+的CPAO + ~的ZS 为什么等于 -的CPAZSO
|
能力值：
![]()
(RANK：1060 )
|
-
-
33 楼
~(~A+B)=~(~A+1-1+B)=~(-A-1+B)=~((B-A)-1)=A-B
|
能力值：
![]()
(RANK：1130 )
|
-
-
35 楼
|
能力值：
![]()
(RANK：330 )
|
-
-
36 楼
xadd(xchg,add)(xor eax,ebx xor ebx,eax)
xchg(xor eax,ebx xor ebx,eax xor eax,ebx)
----
mov(mov eax,ebx = push ebx,pop eax)
movs
movsx
movzx
-----
add
inc(add eax,1)
-----
sub(不能变换为add,因为标志位会不同)
ok dec(sub eax,1)
ok cmp(cmp=sub)
-----
adc
sbb
-----
ok test(test=and)
and
-----
not(neg eax = not eax,add eax,1)
neg
-----
or
xor
mul
div
imul
idiv
----
shl(same)
sal
----
shr(same not)
sar
----
rcl
rcr
-----
rol(和ror不能合用，因为标志位不一致）
ror
bswap(bswap eax = ror ax,8,ror eax,10h,ror ax,8)
好久以前记的流水账,减法一直没想到,等牛人爆料
|
能力值：
![]()
(RANK：330 )
|
-
-
37 楼
感谢发哥的好片,
|
能力值：
( LV2，RANK：10 )
|
-
-
38 楼
请教怎么证明发哥的片子的eflag等价
|
能力值：
![]()
(RANK：1060 )
|
-
-
39 楼
看到了，表示失望
|
能力值：
![]()
(RANK：330 )
|
-
-
40 楼
我无法证明.求证明过程.
|
能力值：
![]()
(RANK：1060 )
|
-
-
41 楼
这就是我发片的原因
|
能力值：
( LV15，RANK：2473 )
|
-
-
42 楼
穷举证明法是最可信的
|
能力值：
![]()
(RANK：1130 )
|
-
-
43 楼
忘记感谢ccfer了，我去编辑帖子
|
能力值：
![]()
(RANK：210 )
|
-
-
44 楼
|
能力值：
![]()
(RANK：330 )
|
-
-
45 楼
结果保留ZST 加上 CPAO,风月还有没有其他办法啊
|
能力值：
![]()
(RANK：1060 )
|
-
-
46 楼
忘记密码了，直觉觉得此模拟非彼模拟
|
能力值：
![]()
(RANK：210 )
|
-
-
47 楼
适用于穷举证明法。
|
|
|
