[RE] Deltx - cew xp0int Posted on Sep 12 2021 程序伪代码很难看，动调可看出就是乘法和减法的结果和常值进行比较。 ``` from z3 import * res = [0x249E15C5,-42564, 885517026,8555, 1668903866,33181, 241160452,37779] for i in range(0, len(res), 2): a, b = res[i:i+2] x, y = Ints("x y") s = Solver() s.add(x*y == a) s.add(x-y == b) s.add(x > 0) s.add(y > 0) cond = s.check() if cond == sat: m = s.model() rx = m[x].as_long() ry = m[y].as_long() print(hex(rx)[2:].rjust(4, '0').upper()+hex(ry)[2:].rjust(4, '0').upper()) ``` 得到 2C7BD2BF862564BAED0B6B6EA94F15BC 其中第二组数据(862564BA)程序是按小写字母16进制转化的，改为小写即可。 FLAG:SangFor{2C7BD2BF862564baED0B6B6EA94F15BC} 打赏还是打残，这是个问题 赏 Wechat Pay Alipay [RE] OddCode - cew [PWN] Whats your name - xf1les
没有帐号? 立即注册