-
-
未解决
[原创]2019年5月安恒月赛testre
-
发表于:
2020-2-18 17:46
3777
-
未解决 [原创]2019年5月安恒月赛testre
碰到一道逆向题.
from z3 import *
cp=[-1209970333, -2850501860L, -4491033387L, -6131564914L, -7772096441L, -9412627968L, -11053159495L, -12693691022L, -14334222549L, -15974754076L, -17615285603L, -19255817130L, -20896348657L, -22536880184L, -24177411711L, -25817943238L, -27458474765L, -29099006292L, -30739537819L, -32380069346L, -34020600873L, -35661132400L, -37301663927L, -38942195454L, -40582726981L, -42223258508L]
s=Solver()
a,b,c,d = BitVecs("a b c d",64)
#a=Real('x')
#b=Real('y')
index = [0,2]
v6 = cp[0]+a
v7 = cp[1]+b
def zuoyi(a1,a2):
return (a1<<a2)&0xff
def youyi(a1,a2):
return a1>>a2
def sun(a1,a2):
[注意]传递专业知识、拓宽行业人脉——看雪讲师团队等你加入！
